Shamimabi Paurobally Jim Cunningham Nicholas R. Jennings A formal framework for agent interaction semantics. 91-98 2005 conf/atal/2005 AAMAS http://doi.acm.org/10.1145/1082473.1082488 db/conf/atal/aamas2005.html#PauroballyCJ05