Format:
Online-Ressource (VIII, 713 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540461470
Series Statement:
Lecture notes in computer science 354
Content:
Time, logic and computation -- Process theory based on bisimulation semantics -- Branching time temporal logic -- Observing processes -- The anchored version of the temporal framework -- Basic notions of trace theory -- An introduction to event structures -- A logic for the description of behaviours and properties of concurrent systems -- Permutation of transitions: An event structure semantics for CCS and SCCS -- Expressibility results for linear-time and branching-time logics -- Partial orderings descriptions and observations of nondeterministic concurrent processes -- Modeling concurrency by partial orders and nonlinear transition systems -- An efficient verification method for parallel and distributed programs -- A logic for distributed transition systems -- Fully abstract models for a process language with refinement -- Strong bisimilarity on nets: A new concept for comparing net semantics -- Nets of processes and data flow -- Towards a temporal logic for causality and choice in distributed systems -- Correctness and full abstraction of metric semantics for concurrency -- Temporal logics for CCS -- Behavioural presentations -- Computation tree logic and regular ?-languages.
Content:
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.
Note:
Literaturangaben
Additional Edition:
ISBN 354051080X
Additional Edition:
ISBN 038751080X
Additional Edition:
ISBN 9783540510802
Additional Edition:
Erscheint auch als Druck-Ausgabe Linear time, branching time and partial order in logics and models for concurrency Berlin : Springer, 1989 ISBN 354051080X
Additional Edition:
ISBN 038751080X
Language:
English
Subjects:
Computer Science
Keywords:
Logik
;
Nebenläufigkeit
;
Nebenläufigkeit
;
Konferenzschrift
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
