Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Mark as

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

by Willem-Paul de Roever

"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...

Buy this book Review

See on goodreads

More by Willem-Paul de Roever

Cover of Concurrency verification

Cover of Formal techniques in real-time and fault-tolerant systems

Cover of A Decade of concurrency

Cover of Carl Adam Petri

Cover of Computation in living cells

Cover of Developments in language theory

Cover of DNA computing

Cover of Graph Transformation

Cover of Handbook of Natural Computing

Cover of Membrane Computing

Cover of Petri nets

Cover of Petri nets

Cover of Petri Nets : Central Models and Their Properties

Cover of Petri net technology for communication-based systems

Cover of Results and trends in theoretical computer science

Cover of Stepwise refinement of distributed systems

Cover of The Book of traces

Cover of Theory and Application of Graph Transformations

Cover of Unconventional computation

Cover of A Decade of concurrency

Cover of Control flow semantics

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment