Partial Order Semantics of Box Expressions
暂无分享,去创建一个
[1] Giorgio De Michelis,et al. Milner's Communicating Systems and Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.
[2] Alan Mycroft,et al. On the Relationship of CCS and Petri Nets , 1984, ICALP.
[3] G. Boudol,et al. Notes on Algebraic Calculi of Processes , 1989, Logics and Models of Concurrent Systems.
[4] Robert de Simone,et al. Higher-Level Synchronising Devices in Meije-SCCS , 1985, Theor. Comput. Sci..
[5] Ernst-Rüdiger Olderog,et al. Operational Petri net semantics for CCSP , 1986, European Workshop on Applications and Theory of Petri Nets.
[6] Glynn Winskel,et al. Petri Nets, Algebras, Morphisms, and Compositionality , 1987, Inf. Comput..
[7] Rob J. van Glabbeek,et al. Petri Net Models for Algebraic Theories of Concurrency , 1987, PARLE.
[8] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[9] Raymond R. Devillers,et al. General Refinement and Recursion Operators for the Petri Box Calculus , 1993, STACS.
[10] Richard P. Hopkins,et al. B(PN)2 - a Basic Petri Net Programming Notation , 1993, PARLE.
[11] Eike Best,et al. Compositional Process Semantics of Petri Boxes , 1993, MFPS.
[12] Maciej Koutny,et al. Operational Semantics for the Petri Box Calculus , 1994, CONCUR.