skip to content
Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings Preview this item
ClosePreview this item
Checking...

Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Author: Andrew D Gordon
Publisher: Berlin ; New York : Springer, ©2003.
Series: Lecture notes in computer science, 2620.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

These refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, include: algebraic models; automata and language theory; behavioral  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: FOSSACS 2003 (2003 : Warsaw, Poland).
Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
(OCoLC)51861929
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andrew D Gordon
ISBN: 3540008977 9783540008972
OCLC Number: 619611830
Language Note: English.
Description: 1 online resource (xii, 440 pages) : illustrations.
Contents: Invited Paper --
A Game Semantics for Generic Polymorphism --
Contributed Papers --
Categories of Containers --
Verification of Probabilistic Systems with Faulty Communication --
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes --
Ambiguous Classes in the Games?-Calculus Hierarchy --
Parameterized Verification by Probabilistic Abstraction --
Genericity and the?-Calculus --
Model Checking Lossy Channels Systems Is Probably Decidable --
Verification of Cryptographic Protocols: Tagging Enforces Termination --
A Normalisation Result for Higher-Order Calculi with Explicit Substitutions --
When Ambients Cannot Be Opened --
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time --
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity --
Manipulating Trees with Hidden Labels --
The Converse of a Stochastic Relation --
Type Assignment for Intersections and Unions in Call-by-Value Languages --
Cones and Foci for Protocol Verification Revisited --
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems --
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard --
A Game Semantics of Linearly Used Continuations --
Counting and Equality Constraints for Multitree Automata --
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete --
A Monadic Multi-stage Metalanguage --
Multi-level Meta-reasoning with Higher-Order Abstract Syntax --
Abstraction in Reasoning about Higraph-Based Systems --
Deriving Bisimulation Congruences: 2-Categories Vs Precategories --
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the?Calculus.
Series Title: Lecture notes in computer science, 2620.
Responsibility: Andrew D. Gordon, ed.

Reviews

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

Tags

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

<http://www.worldcat.org/oclc/619611830> # Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "619611830" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/832438#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/832438#Topic/computer_software> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/832438#Topic/system_analysis> ; # System analysis
    schema:about <http://dewey.info/class/005.1/e21/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/832438#Meeting/etaps_2003_2003_warsaw_poland> ; # ETAPS 2003 (2003 : Warsaw, Poland)
    schema:contributor <http://viaf.org/viaf/57810377> ; # Andrew D. Gordon
    schema:copyrightYear "2003" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/832438#Meeting/fossacs_2003_2003_warsaw_poland> ; # FOSSACS 2003 (2003 : Warsaw, Poland)
    schema:datePublished "2003" ;
    schema:description "Invited Paper -- A Game Semantics for Generic Polymorphism -- Contributed Papers -- Categories of Containers -- Verification of Probabilistic Systems with Faulty Communication -- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes -- Ambiguous Classes in the Games?-Calculus Hierarchy -- Parameterized Verification by Probabilistic Abstraction -- Genericity and the?-Calculus -- Model Checking Lossy Channels Systems Is Probably Decidable -- Verification of Cryptographic Protocols: Tagging Enforces Termination -- A Normalisation Result for Higher-Order Calculi with Explicit Substitutions -- When Ambients Cannot Be Opened -- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time -- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity -- Manipulating Trees with Hidden Labels -- The Converse of a Stochastic Relation -- Type Assignment for Intersections and Unions in Call-by-Value Languages -- Cones and Foci for Protocol Verification Revisited -- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems -- The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard -- A Game Semantics of Linearly Used Continuations -- Counting and Equality Constraints for Multitree Automata -- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete -- A Monadic Multi-stage Metalanguage -- Multi-level Meta-reasoning with Higher-Order Abstract Syntax -- Abstraction in Reasoning about Higraph-Based Systems -- Deriving Bisimulation Congruences: 2-Categories Vs Precategories -- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the?Calculus."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/832438> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/51861929> ;
    schema:name "Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings"@en ;
    schema:productID "619611830" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/619611830#PublicationEvent/berlin_new_york_springer_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/832438#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-00897-2> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540365761> ;
    schema:url <http://link.springer.de/link/service/series/0558/tocs/t2620.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540008972> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-36576-1> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/619611830> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/832438#Meeting/fossacs_2003_2003_warsaw_poland> # FOSSACS 2003 (2003 : Warsaw, Poland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/832438#Place/warsaw_poland> ; # Warsaw, Poland)
    schema:name "FOSSACS 2003 (2003 : Warsaw, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/832438#Place/warsaw_poland> # Warsaw, Poland)
    a schema:Place ;
    schema:name "Warsaw, Poland)" ;
    .

<http://link.springer.de/link/service/series/0558/tocs/t2620.htm>
    rdfs:comment "Connect to electronic version (html)" ;
    .

<http://viaf.org/viaf/57810377> # Andrew D. Gordon
    a schema:Person ;
    schema:familyName "Gordon" ;
    schema:givenName "Andrew D." ;
    schema:name "Andrew D. Gordon" ;
    .

<http://worldcat.org/isbn/9783540008972>
    a schema:ProductModel ;
    schema:isbn "3540008977" ;
    schema:isbn "9783540008972" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/619611830> ; # Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/51861929>
    a schema:CreativeWork ;
    rdfs:label "Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/619611830> ; # Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/619611830>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/619611830> ; # Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
    schema:dateModified "2018-04-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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