Gates accept concurrent behavior (1993)

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

Active Bibliography

10 Concurrent Kripke Structures – Vineet Gupta - 1993
9 Chu spaces: Complementarity and Uncertainty in Rational Mechanics – Vaughan Pratt - 1994
12 Higher Dimensional Automata Revisited – Vaughan Pratt - 2000
2 Types as Processes, via Chu spaces – Vaughan Pratt - 1997
6 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
19 Chu spaces and their interpretation as concurrent objects,” Lecture – Vaughan Pratt
21 Event Spaces and Their Linear Logic – Vaughan Pratt - 1991
16 The Duality of Time and Information – Vaughan R. Pratt - 1992
4 Rational mechanics and natural mathematics – Vaughan Pratt - 1995
121 Modeling Concurrency with Geometry – Vaughan Pratt - 1991
5 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
30 Refinement of Actions and Equivalence Notions for Concurrent Systems – Rob Van Glabbeek, Ursula Goltz - 1998
242 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
39 Configuration Structures – R.J. van Glabbeek, G. D. Plotkin - 1995