TY  - RPRT
TI  - A Process Algebra for Supervisory Coordination
AU  - Jos Baeten
AU  - Bert van Beek
AU  - Allan van Hulst
AU  - Jasen Markovski
PY  - 2011
DO  - 10.4204/eptcs.60.3
UR  - https://arxiv.org/abs/1108.1863
ID  - 1108.1863
ER  -