skip to content
CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings. Preview this item
ClosePreview this item
Checking...

CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings.

Author: Mario Bravetti; Gianluigi Zavattaro
Publisher: New York : Springer Aug. 2009.
Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
Annotation
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: Electronic books
Conference papers and proceedings
Congresses
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Mario Bravetti; Gianluigi Zavattaro
ISBN: 9783642040801 3642040802
OCLC Number: 466169149
Target Audience: Scholarly & Professional
Description: 1 online resource (xiii, 638 pages).
Contents: Invited Papers.- Perspectives on Transactional Memory.- The Effect of Tossing Coins in Omega-Automata.- Bigraphical Categories.- BlenX Static and Dynamic Semantics.- Contributed Papers.- Flow Policy Awareness for Distributed Mobile Code.- Volume and Entropy of Regular Timed Languages: Discretization Approach.- A Logical Interpretation of the ?-Calculus into the ?-Calculus, Preserving Spine Reduction and Types.- Encoding Asynchronous Interactions Using Open Petri Nets.- Distributed Asynchronous Automata.- Algebra for Infinite Forests with an Application to the Temporal Logic EF.- Deriving Syntax and Axioms for Quantitative Regular Behaviours.- Weighted Bisimulation in Linear Algebraic Form.- A Logic-Based Framework for Reasoning about Composite Data Structures.- Measuring Permissivity in Finite Games.- Contracts for Mobile Processes.- Power of Randomization in Automata on Infinite Strings.- Probabilistic Weighted Automata.- Partially-Commutative Context-Free Processes.- Testing Finitary Probabilistic Processes.- A Demonic Approach to Information in Probabilistic Systems.- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.- Model-Checking Games for Fixpoint Logics with Partial Order Models.- Reachability in Succinct and Parametric One-Counter Automata.- Winning Regions of Pushdown Parity Games: A Saturation Method.- Concurrent Kleene Algebra.- Concavely-Priced Probabilistic Timed Automata.- Compositional Control Synthesis for Partially Observable Systems.- Howe's Method for Calculi with Passivation.- On the Relationship between ?-Calculus and Finite Place/Transition Petri Nets.- Modeling Radio Networks.- Time-Bounded Verification.- Secure Enforcement for Global Process Specifications.- On Convergence of Concurrent Systems under Regular Interactions.- Computing Stuttering Simulations.- Weak Time Petri Nets Strike Back!.- A General Testability Theory.- Counterexamples in Probabilistic LTL Model Checking for Markov Chains.- Query-Based Model Checking of Ad Hoc Network Protocols.- Strict Divergence for Probabilistic Timed Automata.
Series Title: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser.
More information:

Abstract:

Annotation

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

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/466169149> # CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "466169149" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh92001010> ; # Computer multitasking
    schema:about <http://dewey.info/class/005.275/e22/> ;
    schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
    schema:about <http://id.worldcat.org/fast/1728115> ; # Computer multitasking
    schema:bookFormat schema:EBook ;
    schema:contentRating "Scholarly & Professional" ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/892062318#Person/zavattaro_gianluigi> ; # Gianluigi Zavattaro
    schema:creator <http://experiment.worldcat.org/entity/work/data/892062318#Person/bravetti_mario> ; # Mario Bravetti
    schema:datePublished "Aug. 2009" ;
    schema:description "Annotation"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/892062318> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892062318#Series/lecture_notes_in_computer_science_theoretical_computer_science_and_general_issues_ser> ; # Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser.
    schema:name "CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings."@en ;
    schema:productID "466169149" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/466169149#PublicationEvent/new_york_springeraug_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/892062318#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-642-04080-1> ;
    schema:workExample <http://worldcat.org/isbn/9783642040801> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/466169149> ;
    .


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/892062318#Person/bravetti_mario> # Mario Bravetti
    a schema:Person ;
    schema:familyName "Bravetti" ;
    schema:givenName "Mario" ;
    schema:name "Mario Bravetti" ;
    .

<http://experiment.worldcat.org/entity/work/data/892062318#Person/zavattaro_gianluigi> # Gianluigi Zavattaro
    a schema:Person ;
    schema:familyName "Zavattaro" ;
    schema:givenName "Gianluigi" ;
    schema:name "Gianluigi Zavattaro" ;
    .

<http://experiment.worldcat.org/entity/work/data/892062318#Series/lecture_notes_in_computer_science_theoretical_computer_science_and_general_issues_ser> # Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/466169149> ; # CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings.
    schema:name "Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser." ;
    .

<http://id.loc.gov/authorities/subjects/sh92001010> # Computer multitasking
    a schema:Intangible ;
    schema:name "Computer multitasking"@en ;
    .

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

<http://id.worldcat.org/fast/1728115> # Computer multitasking
    a schema:Intangible ;
    schema:name "Computer multitasking"@en ;
    .

<http://worldcat.org/isbn/9783642040801>
    a schema:ProductModel ;
    schema:isbn "3642040802" ;
    schema:isbn "9783642040801" ;
    .

<http://www.worldcat.org/title/-/oclc/466169149>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/466169149> ; # CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings.
    schema:dateModified "2016-08-13" ;
    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.