skip to content
Foundation of Software Science and Computation Structures. Preview this item
ClosePreview this item

Foundation of Software Science and Computation Structures.

Author: Jerzy Tiuryn
Publisher: Berlin ; London : Springer, 2000.
Series: Lecture notes in computer science, 1784.
Edition/Format:   eBook : Document : English

Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. Contributed talks and system  Read more...


(not yet rated) 0 with reviews - Be the first.

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jerzy Tiuryn
ISBN: 3540672575 9783540672579 9783662184943 366218494X
OCLC Number: 243487689
Reproduction Notes: Electronic reproduction. SpringerLink.
Description: 1 online resource.
Details: Mode of access: World Wide Web.
Contents: Norm Functions for Probabilistic Bisimulations with Delays.- Constructor Subtyping in the Calculus of Inductive Constructions.- Verifying Performance Equivalence for Timed Basic Parallel Processes.- On Word Rewriting Systems Having a Rational Derivation.- Proof Nets and Explicit Substitutions.- Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract).- Hierarchical Graph Transformation.- A Program Refinement Framework Supporting Reasoning about Knowledge and Time.- A Higher-Order Simulation Relation for System F.- Probabilistic Asynchronous ?-Calculus.- Constructive Data Refinement in Typed Lambda Calculus.- On Recognizable Stable Trace Languages.- The State Explosion Problem from Trace to Bisimulation Equivalence.- A Proof System for Timed Automata.- Categorical Models for Intuitionistic and Linear Type Theory.- Locality and Polyadicity in Asynchronous Name-Passing Calculi.- On Rational Graphs.- Sequential and Concurrent Abstract Machines for Interaction Nets.- On Synchronous and Asynchronous Mobile Processes.- Type Inference for First-Order Logic.- An Algebraic Foundation for Adaptive Programming.- Predicate Logic and Tree Automata with Tests.- Compositional Verification in Linear-Time Temporal Logic.- On the Semantics of Refinement Calculi.- Subtyping and Typing Algorithms for Mobile Ambients.
Series Title: Lecture notes in computer science, 1784.


User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data

Primary Entity

<> # Foundation of Software Science and Computation Structures.
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "243487689" ;
   library:placeOfPublication <> ; # Berlin
   library:placeOfPublication <> ;
   library:placeOfPublication <> ; # London
   schema:bookFormat schema:EBook ;
   schema:contributor <> ; # Jerzy Tiuryn
   schema:datePublished "2000" ;
   schema:exampleOfWork <> ;
   schema:inLanguage "en" ;
   schema:isPartOf <> ; # Lecture notes in computer science ;
   schema:name "Foundation of Software Science and Computation Structures."@en ;
   schema:productID "243487689" ;
   schema:publication <> ;
   schema:publisher <> ; # Springer
   schema:url <> ;
   schema:url <> ;
   schema:url <> ;
   schema:workExample <> ;
   schema:workExample <> ;
   wdrs:describedby <> ;

Related Entities

<> # London
    a schema:Place ;
   schema:name "London" ;

<> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <> ; # Foundation of Software Science and Computation Structures.
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science ;" ;

<> # Jerzy Tiuryn
    a schema:Person ;
   schema:familyName "Tiuryn" ;
   schema:givenName "Jerzy" ;
   schema:name "Jerzy Tiuryn" ;

    a schema:ProductModel ;
   schema:isbn "3540672575" ;
   schema:isbn "9783540672579" ;

    a schema:ProductModel ;
   schema:isbn "366218494X" ;
   schema:isbn "9783662184943" ;

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.