Gates accept concurrent behavior (1993)

by Vineet Gupta , Vaughan Pratt
Venue:In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci
Citations:32 - 16 self

Active Bibliography

10 Concurrent Kripke Structures – Vineet Gupta - 1993
9 Chu spaces: Complementarity and Uncertainty in Rational Mechanics – Vaughan Pratt - 1994
14 Higher Dimensional Automata Revisited – Vaughan Pratt - 2000
2 Types as Processes, via Chu spaces – Vaughan Pratt - 1997
8 Transition and cancellation in concurrency and branching time – Vaughan R. Pratt - 2002
5 Time and Information in Sequential and Concurrent Computation – Vaughan Pratt - 1994
8 Chu Spaces: Automata with quantum aspects – Vaughan R. Pratt - 1994
21 Chu spaces and their interpretation as concurrent objects – Vaughan Pratt - 2005
22 Event Spaces and Their Linear Logic – Vaughan Pratt - 1991
17 The Duality of Time and Information – Vaughan R. Pratt - 1992
4 Rational mechanics and natural mathematics – Vaughan Pratt - 1995
125 Modeling Concurrency with Geometry – Vaughan Pratt - 1991
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
36 Refinement of Actions and Equivalence Notions for Concurrent Systems – Rob Van Glabbeek, Ursula Goltz - 1998
263 Relations in Concurrency – Glynn Winskel
12 Chu Spaces as a Semantic Bridge Between Linear Logic and Mathematics – Vaughan Pratt - 1998
Metric Process Models – Roger Frederick Crew - 1992
7 Arithmetic + Logic + Geometry = Concurrency – Vaughan Pratt - 1992
40 Configuration Structures – R.J. van Glabbeek, G. D. Plotkin - 1995