Linear time, branching time, and partial order in logics and models for concurrency
Subtitle: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
By: J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
Contributors: Bakker, J. W. de 1939-; Roever, W.-P. de, 1943-; Rozenberg, Grzegorz.; School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
Series: Lecture notes in computer science ;; 354
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; New York
Language: eng
Number of pages: 713
Subjects: Parallel processing (Electronic computers); Electronic data processing -- Distributed processing.
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.''--Publisher's website.
Notes: Includes bibliographical references.
"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.