TY  - BOOK
AU  - Gorrieri, Roberto
TI  - Process algebras for Petri nets: the alphabetization of distributed systems 
T2  - Monographs in theoretical computer science an EATCS series
SN  - 9783319555584 (alk. paper)
PY  - 2017///
CY  - New York
PB  - Springer
N1  - Hardcover
ER  -