Egidio Astesiano;Gianna Reggio
-;-
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering