Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems

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]

@inproceedings{AnconaBM15,
  title = {Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems},
  author = {Davide Ancona and Daniela Briola and Viviana Mascardi},
  year = {2015},
  url = {http://ceur-ws.org/Vol-1382/paper10.pdf},
  researchr = {https://researchr.org/publication/AnconaBM15},
  cites = {0},
  citedby = {0},
  pages = {65-75},
  booktitle = {Proceedings of the 16th Workshop "From Objects to Agents", Naples, Italy, June 17-19, 2015},
  editor = {Claudia Di Napoli and Silvia Rossi and Mariacarla Staffa},
  volume = {1382},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}