Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. E.Best and R.Devillers: Interleaving and Partial Orders in Concurrency: a Formal Comparison. Proceedings of the IFIP TC2 Working Conference on Formal Description of Programming Concepts-III. M. Wirsing (ed.), North-Holland, pp. 299–323 (1987).
2. E.Best and R.Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. TCS 55, pp. 87–136 (1987).
3. E.Best, R.Devillers and 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).
4. E.Best, R.Devillers and 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).
5. E.Best, H.Fleischhack, W.Fraczak, R.P.Hopkins, H.Klaudel and E.Pelz: A High Level Petri Net Semantics of B(PN)2. Proceedings STRICT'95, Workshop in Computing. Springer Verlag (1995).