2011-08-01
A process algebra for supervisory coordination
Publication
Publication
Presented at the
International Workshop on Process Algebra and Coordination
Additional Metadata | |
---|---|
L. Aceto (Luca) , M.R. Mousavi | |
Electronic Proceedings in Theoretical Computer Science | |
International Workshop on Process Algebra and Coordination | |
Organisation | Directie |
Baeten, J., van Beek, D. A., van Hulst, A., & Markovski, J. (2011). A process algebra for supervisory coordination. In L. Aceto & M. R. Mousavi (Eds.), Electronic Proceedings in Theoretical Computer Science. |