Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about logic-based agent interaction protocols.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-73
@inproceedings{REWERSE-RP-2004-73,
author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti},
title = {Reasoning about logic-based agent interaction protocols},
booktitle = {Proceedings of Convegno Italiano di Logica Computazionale 2004, Parma, Italy (16th--17th June 2004)},
year = {2004},
url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-73}
}