Davide Ancona, Daniela Briola, Viviana Mascardi. Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. In Claudia Di Napoli, Silvia Rossi, Mariacarla Staffa, editors, Proceedings of the 16th Workshop "From Objects to Agents", Naples, Italy, June 17-19, 2015. Volume 1382 of CEUR Workshop Proceedings, pages 65-75, CEUR-WS.org, 2015. [doi]
Abstract is missing.