Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, J. E. Rooda. A process-theoretic approach to supervisory control theory. In American Control Conference, ACC 2011, San Francisco, CA, USA, June 29 - July 1, 2011. pages 4496-4501, IEEE, 2011. [doi]
Abstract is missing.