Modular Algebraic Nets to Specify Concurrent Systems
Battiston, Eugenio Cindio, Florelia De Muri, Giancarlo
Modular Algebraic Nets to Specify Concurrent Systems - 689-705 p.
Formal Specification
Distributed Systems
Petri Nets
Modular Algebraic Nets to Specify Concurrent Systems - 689-705 p.
Formal Specification
Distributed Systems
Petri Nets