N. A. Anisimov
-
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software