Battiston, Eugenio Cindio, Florelia De Muri, Giancarlo Modular Algebraic Nets to Specify Concurrent Systems - 689-705 p. Subjects--Topical Terms: Formal SpecificationDistributed SystemsPetri Nets