Modelling Concurrency with Partial Orders (1986)

by Vaughan Pratt
Citations:239 - 18 self

Active Bibliography

4 Events, Causality and Symmetry – Glynn Winskel - 2008
263 Relations in Concurrency – Glynn Winskel
26 Hyperdocuments as Automata: Verification of Trace-based Browsing Properties by Model Checking – P. David Stotts, Richard Furuta, J. Cyrano Ruiz - 1997
272 ACM ECHT CONFERENCE Hyperdocuments as Automata: Trace-based Browsing Property Verification – P. David Stotts, Richard Furuta, J. Cyrano Ruiz
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, et al. - 1998
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
245 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
Once and For All ✩ – Orna Kupferman A, Amir Pnueli B, Moshe Y. Vardi C
39 Automated Temporal Reasoning about Reactive Systems – E. Allen Emerson - 1996
1107 Temporal and modal logic – E. Allen Emerson - 1995
13 Specifying Communication in Distributed Information Systems – Hans-dieter Ehrich, Carlos Caleiro - 1998
106 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999