skip to content
Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings Preview this item
ClosePreview this item
Checking...

Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings

Author: Olivier Bournez; Igor Potapov
Publisher: Berlin ; New York : Springer, ©2009.
Series: Lecture notes in computer science, 5797.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Olivier Bournez; Igor Potapov
ISBN: 9783642044199 3642044190
OCLC Number: 436030828
Description: x, 232 pages : illustrations ; 24 cm.
Contents: On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems.- Formalisms for Specifying Markovian Population Models.- Reachability for Continuous and Hybrid Systems.- Algorithmic Information Theory and Foundations of Probability.- Model Checking as A Reachability Problem.- Automatic Verification of Directory-Based Consistency Protocols.- On Yen's Path Logic for Petri Nets.- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.- How to Tackle Integer Weighted Automata Positivity.- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms.- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems.- An Undecidable Permutation of the Natural Numbers.- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order.- Counting Multiplicity over Infinite Alphabets.- The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane.- Games with Opacity Condition.- Abstract Counterexamples for Non-disjunctive Abstractions.- Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems.- Games on Higher Order Multi-stack Pushdown Systems.- Limit Set Reachability in Asynchronous Graph Dynamical Systems.
Series Title: Lecture notes in computer science, 5797.
Other Titles: RP 2009
Responsibility: Olivier Bournez, Igor Potapov (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/436030828> # Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "436030828" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4922731796#Place/berlin> ; # Berlin
    schema:about <http://id.worldcat.org/fast/888990> ; # Decidability (Mathematical logic)
    schema:about <http://id.worldcat.org/fast/874739> ; # Configurations
    schema:about <http://id.worldcat.org/fast/1750859> ; # Computer systems--Verification
    schema:about <http://id.loc.gov/authorities/subjects/sh85030946> ; # Configurations
    schema:about <http://id.loc.gov/authorities/subjects/sh2008002946> ; # Computer systems--Verification
    schema:about <http://dewey.info/class/004/> ;
    schema:alternateName "RP 2009" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/272314496> ; # Igor Potapov
    schema:contributor <http://viaf.org/viaf/100504091> ; # Olivier Bournez
    schema:copyrightYear "2009" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4922731796#Meeting/rp_workshop_3rd_2009_palaiseau_france> ; # RP (Workshop) (3rd : 2009 : Palaiseau, France)
    schema:datePublished "2009" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4922731796> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4922731796#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings"@en ;
    schema:productID "436030828" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/436030828#PublicationEvent/berlin_new_york_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4922731796#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9783642044199> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/436030828> ;
    .


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/4922731796#Meeting/rp_workshop_3rd_2009_palaiseau_france> # RP (Workshop) (3rd : 2009 : Palaiseau, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4922731796#Place/palaiseau_france> ; # Palaiseau, France)
    schema:name "RP (Workshop) (3rd : 2009 : Palaiseau, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922731796#Place/palaiseau_france> # Palaiseau, France)
    a schema:Place ;
    schema:name "Palaiseau, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922731796#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/436030828> ; # Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh2008002946> # Computer systems--Verification
    a schema:Intangible ;
    schema:name "Computer systems--Verification"@en ;
    .

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

<http://id.worldcat.org/fast/1750859> # Computer systems--Verification
    a schema:Intangible ;
    schema:name "Computer systems--Verification"@en ;
    .

<http://id.worldcat.org/fast/874739> # Configurations
    a schema:Intangible ;
    schema:name "Configurations"@en ;
    .

<http://id.worldcat.org/fast/888990> # Decidability (Mathematical logic)
    a schema:Intangible ;
    schema:name "Decidability (Mathematical logic)"@en ;
    .

<http://viaf.org/viaf/100504091> # Olivier Bournez
    a schema:Person ;
    schema:familyName "Bournez" ;
    schema:givenName "Olivier" ;
    schema:name "Olivier Bournez" ;
    .

<http://viaf.org/viaf/272314496> # Igor Potapov
    a schema:Person ;
    schema:familyName "Potapov" ;
    schema:givenName "Igor" ;
    schema:name "Igor Potapov" ;
    .

<http://worldcat.org/isbn/9783642044199>
    a schema:ProductModel ;
    schema:isbn "3642044190" ;
    schema:isbn "9783642044199" ;
    .

<http://www.worldcat.org/title/-/oclc/436030828>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/436030828> ; # Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings
    schema:dateModified "2018-09-12" ;
    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.