Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / edited by J.W. de Bakker, W.-P. de Roever, [and] G. Rozenberg.
Material type:
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
e-Library
Electronic Book@IST |
EBook | Available |
Includes bibliographical references at chapter ends.
Tutorials ; Time, logic and computation / J. van Benthem -- Process theory based on bisimulation semantics / J.A. Bergstra, J.W. Klop -- Branching time temporal logic / E.A. Emerson, J. Srinivasan -- Observing processes / M. Hennessy -- The anchored version of the temporal framework / Z. Manna, A. Pnueli -- Basic notions of trace theory / A. Mazurkiewicz -- An introduction to event structures / G. Winskel -- Technical contributions ; A logic for the description of behaviours and properties of concurrent systems / A. Bouajjani, S. Graf, J. Sifakis -- Permutation of transitions : an event structure semantics for CCS and SCCS / G. Boudol, I. Castellani -- Expressibility results for linear-time and branching-time logics / E.M. Clarke, I.A. Draghicescu -- Partial orderings descriptions and observations of nondeterministic concurrent processes / P. Degano, R. De Nicola, U. Montanari -- Modeling concurrency by partial orders and nonlinear transition systems / H. Gaifman -- An efficient verification method for parallel and distributed programs / S. Katz, D. Peled -- A logic for distributed transition systems / K. Lodaya, R. Ramanujam, P.S. Thiagarajan -- Fully abstract models for a process language with refinement / M. Nielsen, U. Engberg, K.S. Larsen -- Strong bisimilarity on nets: a new concept for comparing net semantics / E.-R. Olderog -- Nets of processes and data flow / A. Rabinovich, B.A. Trakhtenbrot -- Towards a temporal logic of causality and choice in distributed systems / W. Reisig -- Correctness and full abstraction of metric semantics for concurrency / J.J.M.M. Rutten -- Temporal logics for CCS / C. Stirling -- Behavioural presentations / M.W. Shields -- Computation tree logic and regular [italic] w-languages / W. Thomas.
Modelling the behaviour of concurrent and distributed systems has grown into one of the most challenging and vigorous research areas within theoretical computer science. The last decade has seen the emergence of three independent approaches to this problem, some of them capturing differences between systems that others ignore. The first one models a system by describing its execution runs, the second one by analysing the execution trees, and the third one models a system by describing the (in)dependencies and choices between the various events that may occur. Paradigmatic for these approaches are semantic domains with linear or branching elements, linear time and branching time temporal logic, and net theory. Although it seems that the more features a system captures the better, if one wants some measure of abstractness and parsimony, some of such features may be too detailed for a given level of description. This volume reviews these intrinsically different approaches and evaluates their relative advantages. It 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 sponsored by the Netherlands NFI (Nationale Faciliteit Informatica) Programme. The meeting was organized under auspices of the EATCS and was furthermore supported by the Centre for Mathematics and Computer Science, the University of Leiden, and the Eindhoven University of Technology.
English.
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL