CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings / Luis Caires, Vasco T. Vasconcelos (eds.).Material type: TextSeries: SpringerLecture notes in computer science: 4703.Publisher: Berlin : Springer, 2007Description: 1 online resource (xiii, 506 p.) : illISBN: 9783540744078; 354074407X; 3540744061; 9783540744061; 6611353577; 9786611353575Subject(s): Parallel processing (Electronic computers) -- CongressesAdditional physical formats: Print version:: CONCUR 2007 - concurrency theory.LOC classification: QA76.58 | .I53 2007Online resources: Click here to view this ebook.
|Item type||Current location||Call number||URL||Status||Date due||Barcode|
|Electronic Book||UT Tyler Online Online||QA76.58 .I53 2007 (Browse shelf)||http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74407-8||Available||ocn184936255|
International conference proceedings.
Includes bibliographical references and index.
Front Matter; The Saga of the Axiomatization of Parallel Composition; Rule-Based Modelling of Cellular Signalling; 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.
This book constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2007, held in Lisbon, Portugal, September 3-8, 2007. The 30 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 112 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Description based on print version record.