Modelling Concurrency with Partial Orders (1986)

by Vaughan Pratt
Citations:236 - 18 self

Active Bibliography

4 Events, Causality and Symmetry – Glynn Winskel - 2008
261 Relations in Concurrency – Glynn Winskel
272 ACM ECHT CONFERENCE Hyperdocuments as Automata: Trace-based Browsing Property Verification – P. David Stotts, Richard Furuta, J. Cyrano Ruiz
26 Hyperdocuments as Automata: Verification of Trace-based Browsing Properties by Model Checking – P. David Stotts, Richard Furuta, J. Cyrano Ruiz - 1997
9 Chu spaces: Complementarity and Uncertainty in Rational Mechanics – Vaughan Pratt - 1994
Metric Process Models – Roger Frederick Crew - 1992
To appear in Theoretical Computer Science Abstraction for Concurrent Objects – Ivana Filipović, Noam Rinetzky, Hongseok Yang
Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs – Ivana Filipović, Noam Rinetzky, Hongseok Yang
\Lambda – unknown authors
26 Logics for Specifying Concurrent Information Systems – Hans-Dieter Ehrich, Carlos Caleiro, et al. - 1998
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
244 A Framework for Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1998
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
32 Gates accept concurrent behavior – Vineet Gupta, Vaughan Pratt - 1993
13 Specifying Communication in Distributed Information Systems – Hans-dieter Ehrich, Carlos Caleiro - 1998
1102 Temporal and modal logic – E. Allen Emerson - 1995
38 Automated Temporal Reasoning about Reactive Systems – E. Allen Emerson - 1996
26 Once and For All – Orna Kupferman , Amir Pnueli , Moshe Y. Vardi - 2011
106 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999