| [1] | D. Ancona, S. Drossopoulou, and V. Mascardi. Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason. In Declarative Agent Languages and Technologies (DALT 2012). Workshop Notes., pages 1-17, 2012. [ bib | .pdf | Abstract ] |
| [2] | D. Ancona, M. Barbieri, and V. Mascardi. Global Types for Dynamic Checking of Protocol Conformance of Multi-Agent Systems (Extended Abstract). In P. Massazza, editor, 13th Italian Conference on Theoretical Computer Science (ICTCS 2012), pages 39-43, 2012. [ bib | .pdf | Abstract ] |
This file was generated by bibtex2html 1.95.
Back to the main page on Davide Ancona's papers
