Flow Event Structures and Flow Nets
暂无分享,去创建一个
[1] Frits W. Vaandrager. A simple definition for parallel composition of prime event structures , 1989 .
[2] Rob J. van Glabbeek,et al. Petri Net Models for Algebraic Theories of Concurrency , 1987, PARLE.
[3] Ilaria Castellani,et al. Permutation of transitions: An event structure semantics for CCS and SCCS , 1988, REX Workshop.
[4] David Lewin. On Partial Ordering , 1976 .
[5] Ilaria Castellani,et al. Concurrency and Atomicity , 1988, Theor. Comput. Sci..
[6] Glynn Winskel,et al. Event Structure Semantics for CCS and Related Languages , 1982, ICALP.
[7] Glynn Winskel,et al. Petri Nets, Event Structures and Domains , 1979, Semantics of Concurrent Computation.
[8] Ilaria Castellani,et al. Three Equivalent Semantics for CCS , 1990, Semantics of Systems of Concurrent Processes.
[9] Glynn Winskel,et al. Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..
[10] Ilaria Castellani,et al. On the Semantics of Concurrency: Partial Orders and Transition Systems , 1987, TAPSOFT, Vol.1.
[11] Ursula Goltz. On Representing CCS Programs by Finite Petri Nets , 1988, MFCS.
[12] Ernst-Rüdiger Olderog,et al. Operational Petri net semantics for CCSP , 1986, European Workshop on Applications and Theory of Petri Nets.
[13] Rocco De Nicola,et al. On the consistency of 'truly concurrent' operational and denotational semantics , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[14] Glynn Winskel,et al. Event Structures , 1986, Advances in Petri Nets.
[15] Alan Mycroft,et al. On the Relationship of CCS and Petri Nets , 1984, ICALP.
[16] Ugo Montanari,et al. Partial ordering derivations for CCS , 1985, FCT.
[17] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[18] Glynn Winskel,et al. An introduction to event structures , 1988, REX Workshop.