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

55 The Second Calculus of Binary Relations – Vaughan Pratt - 1993
49 Chu Spaces: A Model of Concurrency – V Gupta - 1994
48 Games Semantics for Linear Logic – Yves Lafont, Thomas Streicher - 1991
170 G.: Petri nets, event structures and domains – M Nielsen, G Plotkin, Winskel - 1981
49 Autonomous categories, volume 752 – Michael Barr - 1979
125 Modeling Concurrency with Geometry – Vaughan Pratt - 1991
263 An introduction to event structures – G Winskel - 1989
30 The Stone gamut: A coordinatization of mathematics – Vaughan R. Pratt - 1995
87 Autonomous Categories and Linear Logic – M Barr - 1991
48 A categorical linear framework for Petri nets, in – C Brown, D Gum - 1990
46 A Calculus of Communicating Systems. LNCS 92 – R Milner - 1980
20 Causal automata – Jeremy Gunawardena - 1992
35 On the composition of processes – V R Pratt - 1982
30 Temporal Structures – Ross Casley, Roger F. Crew, José Meseguer, Vaughan Pratt - 1990
80 Fundamentals of a Theory of Asynchronous Information Flow – C A Petri - 1962
239 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
15 How comprehensive is the category of semigroup – Z Hedrlín, J Lambek - 1969
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
12 Autonomous categories, LNM 752 – M Barr - 1979