The Petri Box Calculus: a New Causal Algebra with Multilabel Communication, APN'92, vol.609, 1992. ,
Petri Net Algebra, EATCS Monographs on TCS, 2001. ,
, Asynchonous Box Calculus. Fundamenta Informaticae, vol.54, issue.1, 2003.
, Box Calculus with Coloured Buffers. LACL TR, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00114687
Modèles Orientés-Objet pour la Véri-fication de Systèmes Concurrents, Univ. Paris, vol.12, 2004. ,
Compositional high-level Petri net semantics of a parallel programming language with procedures, SCP, vol.41, 2001. ,
A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems, Fundamenta Informaticae, vol.50, issue.1, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00114685
, High Level Expressions with their SOS Semantics. CONCUR'97, vol.1243, 1997.
, Causal Time Calculus. FOR-MATS'03, vol.2791, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00114673
, SNAKES is the Net Algebra Kit for Editors and Simulators. Comete Procope Workshop, 2004.