TY  - SER
AU  - Battiston, Eugenio
AU  - Cindio, Florelia De
AU  - Muri, Giancarlo
TI  - Modular Algebraic Nets to Specify Concurrent Systems
KW  -  Formal Specification
KW  - Distributed Systems
KW  - Petri Nets
ER  -