Shamimabi Paurobally Michael Wooldridge Joint Conversation Specification and Compliance. 18-35 2007 conf/dalt/2007 DALT http://dx.doi.org/10.1007/978-3-540-77564-5_2 db/conf/dalt/dalt2007.html#PauroballyW07