skip to content
CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings Preview this item
ClosePreview this item
Checking...

CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings

Author: Luis Caires; Vasco T Vasconcelos
Publisher: Berlin : Springer, 2007.
Series: Lecture notes in computer science, 4703.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Thirty full papers are presented along with three important invited papers. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability,  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
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Luis Caires; Vasco T Vasconcelos
ISBN: 9783540744061 3540744061
OCLC Number: 166763971
Notes: International conference proceedings.
Description: xiii, 506 pages : illustrations ; 24 cm.
Contents: Invited Lectures.- Mapping the Security Landscape: A Role for Language Techniques.- The Saga of the Axiomatization of Parallel Composition.- Rule-Based Modelling of Cellular Signalling.- Contributed Papers.- Making Random Choices Invisible to the Scheduler.- Strategy Logic.- Solving Games Via Three-Valued Abstraction Refinement.- Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness.- On Modal Refinement and Consistency.- Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.- Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.- A Nice Labelling for Tree-Like Event Structures of Degree 3.- Causal Message Sequence Charts.- Checking Coverage for Infinite Collections of Timed Scenarios.- Is Observational Congruence Axiomatisable in Equational Horn Logic?.- The Must Preorder Revisited.- Topology-Dependent Abstractions of Broadcast Networks.- On the Expressive Power of Global and Local Priority in Process Calculi.- A Marriage of Rely/Guarantee and Separation Logic.- Fair Cooperative Multithreading.- Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.- Automatic Derivation of Compositional Rules in Automated Compositional Reasoning.- Compositional Event Structure Semantics for the Internal ?-Calculus.- Interpreting a Finitary Pi-calculus in Differential Interaction Nets.- Mobility Control Via Passports.- Coalgebraic Models for Reactive Systems.- Reactive Systems over Directed Bigraphs.- Asynchronous Games: Innocence Without Alternation.- Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.- Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.- Timed Concurrent Game Structures.- Pushdown Module Checking with Imperfect Information.- Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.- Temporal Antecedent Failure: Refining Vacuity.
Series Title: Lecture notes in computer science, 4703.
Responsibility: Luis Caires, Vasco T. Vasconcelos (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/166763971> # CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "166763971" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906165840#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/906165840#Topic/programacao_paralela_congressos> ; # Programação paralela (congressos)
   schema:about <http://dewey.info/class/004.35/> ;
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/15868561> ; # Luis Caires
   schema:contributor <http://viaf.org/viaf/4460105> ; # Vasco T. Vasconcelos
   schema:creator <http://experiment.worldcat.org/entity/work/data/906165840#Meeting/international_conference_on_concurrency_theory_18th_2007_lisbon_portugal> ; # International Conference on Concurrency Theory (18th : 2007 : Lisbon, Portugal)
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/906165840> ;
   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 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings"@en ;
   schema:productID "166763971" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/166763971#PublicationEvent/berlin_springer_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/906165840#Agent/springer> ; # Springer
   schema:url <http://ezproxy.rice.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4703> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4703> ;
   schema:url <http://mutex.gmu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4703> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-74407-8> ;
   schema:workExample <http://worldcat.org/isbn/9783540744061> ;
   umbel:isLike <http://d-nb.info/985167939> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/166763971> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/906165840#Meeting/international_conference_on_concurrency_theory_18th_2007_lisbon_portugal> # International Conference on Concurrency Theory (18th : 2007 : Lisbon, Portugal)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/906165840#Place/lisbon_portugal> ; # Lisbon, Portugal)
   schema:name "International Conference on Concurrency Theory (18th : 2007 : Lisbon, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165840#Place/lisbon_portugal> # Lisbon, Portugal)
    a schema:Place ;
   schema:name "Lisbon, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165840#Topic/programacao_paralela_congressos> # Programação paralela (congressos)
    a schema:Intangible ;
   schema:name "Programação paralela (congressos)"@en ;
    .

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

<http://mutex.gmu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4703>
   rdfs:comment "Electronic resource available to Mason students, faculty, staff, and onsite patrons." ;
    .

<http://viaf.org/viaf/15868561> # Luis Caires
    a schema:Person ;
   schema:familyName "Caires" ;
   schema:givenName "Luis" ;
   schema:name "Luis Caires" ;
    .

<http://viaf.org/viaf/4460105> # Vasco T. Vasconcelos
    a schema:Person ;
   schema:familyName "Vasconcelos" ;
   schema:givenName "Vasco T." ;
   schema:name "Vasco T. Vasconcelos" ;
    .

<http://worldcat.org/isbn/9783540744061>
    a schema:ProductModel ;
   schema:isbn "3540744061" ;
   schema:isbn "9783540744061" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/166763971> ; # CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; 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/166763971>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/166763971> ; # CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings
   schema:dateModified "2018-03-11" ;
   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.