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

Documents Related by Co-Citation

49 Chu Spaces: A Model of Concurrency – V Gupta - 1994
54 The Second Calculus of Binary Relations – Vaughan Pratt - 1993
48 Games Semantics for Linear Logic – Yves Lafont, Thomas Streicher - 1991
45 Autonomous Categories, volume 752 – Michael Barr - 1979
170 Winskel G, Petri nets, event structures and domains – M Nielsen, G Plotkin - 1980
87 Autonomous categories and linear logic – M Barr - 1991
124 Modeling Concurrency with Geometry – Vaughan Pratt
30 The Stone gamut: A coordinatization of mathematics – Vaughan R. Pratt - 1995
48 A categorical linear framework for Petri nets, in – C Brown, D Gum - 1990
263 Event structures – Glynn Winskel - 1986
47 A calculus of communicating systems, LNCS92 – R Milner - 1980
35 On the composition of processes – V R Pratt - 1982
29 Temporal Structures РRoss Casley, Roger F. Crew, Jos̩ Meseguer, Vaughan Pratt - 1990
82 Fundamentals of a Theory of Asynchronous Information Flow – C A Petri - 1962
40 Configuration Structures – R.J. van Glabbeek, G. D. Plotkin - 1995
236 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
377 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
12 Autonomous categories, LNM 752 – M Barr - 1979
9 Chu spaces: Complementarity and Uncertainty in Rational Mechanics – Vaughan Pratt - 1994