Invariants in Systems of Processes and Monitors

Invariants in Systems of Processes and Monitors

Authors
S. Gjessing
Editors
B. , D. and R.