ENGLISH

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

By G. Rozenberg (eds.) , J. W. de Bakker , W. -P. de Roever , Johan van Benthem (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1989
ISBN
978-3-540-51080-2, 978-3-540-46147-0
DOI
10.1007/BFb0013019
Language
english
Format
PDF
Filesize
14 MB (14893185 bytes)
Series
Lecture Notes in Computer Science 354
Edition
1
Pages
718\721
Time added
2013-08-19 20:00:00
Programming Techniques; Control Structures and Mic

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.

Similar books