Jasen Markovski. Reliable supervisory coordination of stochastic communicating processes with data. In Sung Y. Shin, José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. pages 1347-1354, ACM, 2013. [doi]
Abstract is missing.