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

Jacobus W. de Bakker (Curatore)

Willem-Paul de Roever (Curatore)

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989

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.

• Curatore: Jacobus W. de Bakker, Willem-Paul de Roever
• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Collana: Lecture Notes in Computer Science
• Anno: 1989
• Rilegatura: Paperback / softback
• Pagine: 718 p.
• Dimensioni: 235 x 155 mm
• EAN: 9783540510802

Testo in English