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.
Produkteigenschaften
- Artikelnummer: 9783540510802
- Medium: Buch
- ISBN: 978-3-540-51080-2
- Verlag: Springer Berlin Heidelberg
- Erscheinungstermin: 30.03.1989
- Sprache(n): Englisch
- Auflage: 1989
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 1083 g
- Seiten: 718
- Format (B x H x T): 155 x 235 x 39 mm
- Ausgabetyp: Kein, Unbekannt