Gérard Boudol, Gérard Roucairol, Robert de Simone. Petri Nets and Algebraic Calculi of Processes. In Kurt Mehlhorn, editor, STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings. Volume 182 of Lecture Notes in Computer Science, pages 59-70, Springer, 1985.
No references recorded for this publication.
No citations of this publication recorded.