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

other

Editor(s): J. W. de Bakker , W. -P. de Roever , G. Rozenberg

Publication date (Print): 1989

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-51080-2

ISBN (Electronic): 978-3-540-46147-0

Publication date (Print): 1989

DOI: 10.1007/BFb0013019

SO-VID: 1e650f6b-29ac-4919-9b18-fb8d72585193

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Causal ambiguity and partial orders in event structures
Authors: Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
On syntactic and semantic action refinement
Authors: Ursula Goltz, Roberto Gorrieri, Arend Rensink
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
Authors: Kaidi Zheng, Siyu Huang, Ning Zhou …

See all cited by