Karsten Schmidt
-
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering