Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3 1989 Edition Contributor(s): Bakker, Jacobus W. De (Editor), Roever, Willem-Paul de (Editor), Rozenberg, Grzegorz (Editor) |
|
ISBN: 354051080X ISBN-13: 9783540510802 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: March 1989 |
Additional Information |
BISAC Categories: - Computers | Programming - General - Computers | Systems Architecture - General - Computers | Operating Systems - General |
Dewey: 004.1 |
Series: Lecture Notes in Computer Science |
Physical Information: 1.45" H x 6.14" W x 9.21" (2.21 lbs) 718 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |