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

De Roever, W. P.; De Bakker, J. W.; School/Workshop On Linear Time, Branching Time, And Partial Order In Logics And Models For Concurrency (1988 : Noordwijkerhout, Netherlands)

Couverture souple

ISBN 10 : 038751080X ISBN 13 : 9780387510804

Editeur : Springer Verlag, 1989

Synopsis

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 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 approa...

Détails de l'édition

• Éditeur: Springer Verlag
• Date d'édition: 1989
• Langue: anglais
• ISBN 10: 038751080X
• ISBN 13: 9780387510804
• Reliure: Broché
• Nombre de pages: 713
• Éditeur: Bakker J. W. De, Rozenberg Grzegorz, Roever W. P. De
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne