Matteo Baldoni Cristina Baroglio Ivana Gungui Alberto Martelli Maurizio Martelli Viviana Mascardi Viviana Patti Claudio Schifanella Reasoning About Agents' Interaction Protocols Inside DCaseLP. 112-131 2004 conf/dalt/2004 DALT http://dx.doi.org/10.1007/11493402_7 db/conf/dalt/dalt2004.html#BaldoniBGMMMPS04