CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings / Luis Caires, Vasco T. Vasconcelos (eds.).

By: (18th : International Conference on Concurrency Theory (18th : 2007 : Lisbon, Portugal)Contributor(s): Caires, Luís | Vasconcelos, Vasco TMaterial type: TextTextSeries: 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.
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
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.

There are no comments on this title.

to post a comment.