skip to content
Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings Preview this item
ClosePreview this item
Checking...

Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings

Author: Franck van Breugel; Marsha Chechik
Publisher: Berlin : Springer, 2008.
Series: Lecture notes in computer science, 5201.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. This title includes topics such as model  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
Kongress
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Franck van Breugel; Marsha Chechik
ISBN: 9783540853602 354085360X
OCLC Number: 244057674
Description: xiii, 524 pages : illustrations ; 24 cm.
Contents: Invited Papers.- Beyond Nash Equilibrium: Solution Concepts for the 21st Century.- Service Choreography and Orchestration with Conversations.- Knowledge and Information in Probabilistic Systems.- Taming Concurrency: A Program Verification Perspective.- Contributed Papers.- A Model of Dynamic Separation for Transactional Memory.- Completeness and Nondeterminism in Model Checking Transactional Memories.- Semantics of Deterministic Shared-Memory Systems.- A Scalable and Oblivious Atomicity Assertion.- R-Automata.- Distributed Timed Automata with Independently Evolving Clocks.- A Context-Free Process as a Pushdown Automaton.- Modeling Computational Security in Long-Lived Systems.- Contract-Directed Synthesis of Simple Orchestrators.- Environment Assumptions for Synthesis.- Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.- SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs.- Subsequence Invariants.- Invariants for Parameterised Boolean Equation Systems.- Unfolding-Based Diagnosis of Systems with an Evolving Topology.- On the Construction of Sorted Reactive Systems.- Dynamic Partial Order Reduction Using Probe Sets.- A Space-Efficient Probabilistic Simulation Algorithm.- Least Upper Bounds for Probability Measures and Their Applications to Abstractions.- Abstraction for Stochastic Systems by Erlang's Method of Stages.- On the Minimisation of Acyclic Models.- Quasi-Static Scheduling of Communicating Tasks.- Strategy Construction for Parity Games with Imperfect Information.- Mixing Lossy and Perfect Fifo Channels.- On the Reachability Analysis of Acyclic Networks of Pushdown Systems.- Spatial and Behavioral Types in the Pi-Calculus.- A Spatial Equational Logic for the Applied ?-Calculus.- Structured Interactional Exceptions in Session Types.- Global Progress in Dynamically Interleaved Multiparty Sessions.- Normed BPA vs. Normed BPP Revisited.- A Rule Format for Associativity.- Deriving Structural Labelled Transitions for Mobile Ambients.- Termination Problems in Chemical Kinetics.- Towards a Unified Approach to Encodability and Separation Results for Process Calculi.- A Notion of Glue Expressiveness for Component-Based Systems.
Series Title: Lecture notes in computer science, 5201.
Other Titles: CONCUR 2008
Responsibility: Franck van Breugel, Marsha Chechik (eds.).

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/244057674> # Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "244057674" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/141916710#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/141916710#Place/toronto_2008> ; # Toronto (2008)
   schema:about <http://dewey.info/class/681/a14/> ;
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/141916710#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
   schema:alternateName "CONCUR 2008" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/51236716> ; # Marsha Chechik
   schema:contributor <http://viaf.org/viaf/118356911> ; # Franck van Breugel
   schema:creator <http://experiment.worldcat.org/entity/work/data/141916710#Meeting/international_conference_on_concurrency_theory_19th_2008_toronto_canada> ; # International Conference on Concurrency Theory (19th : 2008: Toronto, Canada)
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/141916710> ;
   schema:genre "Kongress"@en ;
   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:name "Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings"@en ;
   schema:productID "244057674" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/244057674#PublicationEvent/berlin_springer_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/141916710#Agent/springer> ; # Springer
   schema:url <http://d-nb.info/989847004/04> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-85361-9> ;
   schema:url <http://swbplus.bsz-bw.de/bsz284934429cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540853602> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/244057674> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/141916710#Meeting/international_conference_on_concurrency_theory_19th_2008_toronto_canada> # International Conference on Concurrency Theory (19th : 2008: Toronto, Canada)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/141916710#Place/toronto_canada> ; # Toronto, Canada)
   schema:name "International Conference on Concurrency Theory (19th : 2008: Toronto, Canada)" ;
    .

<http://experiment.worldcat.org/entity/work/data/141916710#Place/toronto_canada> # Toronto, Canada)
    a schema:Place ;
   schema:name "Toronto, Canada)" ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
   schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://viaf.org/viaf/118356911> # Franck van Breugel
    a schema:Person ;
   schema:birthDate "1966" ;
   schema:familyName "Breugel" ;
   schema:givenName "Franck van" ;
   schema:name "Franck van Breugel" ;
    .

<http://viaf.org/viaf/51236716> # Marsha Chechik
    a schema:Person ;
   schema:familyName "Chechik" ;
   schema:givenName "Marsha" ;
   schema:name "Marsha Chechik" ;
    .

<http://worldcat.org/isbn/9783540853602>
    a schema:ProductModel ;
   schema:isbn "354085360X" ;
   schema:isbn "9783540853602" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/244057674> ; # Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/244057674>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/244057674> ; # Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings
   schema:dateModified "2017-09-04" ;
   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.