Springer
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3
Product Code:
9783540510802
ISBN13:
9783540510802
Condition:
New
$118.37
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3
$118.37
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.
| Author: Jacobus W. De Bakker |
| Publisher: Springer |
| Publication Date: Mar 30, 1989 |
| Number of Pages: 718 pages |
| Binding: Paperback or Softback |
| ISBN-10: 354051080X |
| ISBN-13: 9783540510802 |
Related Products
