@Inproceedings{EPTCS60.3, author = {Baeten, Jos and van Beek, Bert and van Hulst, Allan and Markovski, Jasen }, year = {2011}, title = {A Process Algebra for Supervisory Coordination}, editor = {Aceto, Luca and Mousavi, Mohammad Reza}, booktitle = {{\rm Proceedings First International Workshop on} Process Algebra and Coordination, {\rm Reykjavik, Iceland, 9th June 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {60}, publisher = {Open Publishing Association}, pages = {36-55}, doi = {10.4204/EPTCS.60.3}, }