Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference26 articles.
1. E. Best, R. Devillers, J.Esparza: General Refinement and Recursion for the Box Calculus. Hildesheimer Informatik-Berichte 26/92. Universität Hildesheim (1992)
2. E. Best, R. Devillers, J. Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. Proceedings STACS-93, P. Enjalbert et al. (eds.). Springer-Verlag Lecture Notes in Computer Science Vol. 665, pp. 130?140 (1993)
3. E. Best, R. Devillers, J. Hall: The Box Calculus: a New Causal Algebra with Multi-label Communication. Advances in Petri Nets 1992. Springer-Verlag Lecture Notes in Computer Science Vol. 609, pp. 21?69 (1992)
4. E. Best, R. Devillers, A. Kiehn, L. Pomello: Concurrent Bisimulations in Petri Nets. Acta Informatica 28, 231?264 (1991)
5. E. Best, J. Esparza, M. Koutny: Operational Semantics for the Petri Box Calculus. To appear in the Proceedings of CONCUR-94 (1994)