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 Spaces: Complementarity and Uncertainty in Rational Mechanics – Vaughan Pratt - 1994
14 Higher Dimensional Automata Revisited – Vaughan Pratt - 2000
To appear in Math. Struct. in Comp. Science Higher Dimensional Automata Revisited – Vaughan Pratt - 2005
2 Types as Processes, via Chu spaces – Vaughan Pratt - 1997
8 Transition and cancellation in concurrency and branching time – Vaughan R. Pratt - 2002
263 Relations in Concurrency – Glynn Winskel
6 Time and Information in Sequential and Concurrent Computation – Vaughan Pratt - 1994
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992