Verifying Protocol Conformance for Logic-Based Communicating Agents

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/11533092_12 ◽

2005 ◽

pp. 196-212 ◽

Cited By ~ 14

Author(s):

Matteo Baldoni ◽

Cristina Baroglio ◽

Alberto Martelli ◽

Viviana Patti ◽

Claudio Schifanella