Publications
- M. Baldoni,
C. Baroglio, A. Martelli, and Patti.
Verification
of protocol conformance and agent interoperability.
In F. Toni and P. Torroni, editors, Post-Proc. of Sixth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI,
volume 3900 of LNCS State-of-the-Art Survey, pages 265-283.
Springer, 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Conformance
and Interoperability in Open Environments.
In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc.
of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*,
volume 204 of CEUR, Workshop Proceedings, Catania, Italy,
September 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
A priori conformance verification for
guaranteeing interoperability in open environments.
In A. Dan and W. Lamersdorf, editors, Proc. of the 4th International
Conference on Service Oriented Computing, ICSOC 2006, volume 4294 of
LNCS, pages 339-351, Chicago, USA, December 2006. Springer.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
A priori conformance verification for guaranteeing interoperability in open
environments.
Technical Report RT 93/06, Dipartimento di Informatica, UNiversità degli
Studi di Torino, July 3rd 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Verification of protocol
conformance and agent interoperability.
In F. Toni and P. Torroni, editors, Pre-proc. of Sixth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI,
pages 12-27, London, UK, June 2005.
(PDF)
|