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.
@inproceedings{BoudolRS85:0,
title = {Petri Nets and Algebraic Calculi of Processes},
author = {Gérard Boudol and Gérard Roucairol and Robert de Simone},
year = {1985},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/BoudolRS85%3A0},
cites = {0},
citedby = {0},
pages = {59-70},
booktitle = {STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings},
editor = {Kurt Mehlhorn},
volume = {182},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-13912-5},
}