1. Aknine, S., Pinson, S., Shakun, M.F.: An extended multi-agent negotiation protocol. Auton. Agents Multi-Agent Syst. 8(1), 5–45 (2004)
2. Billington, J., Du, B., Farrington, M.: Modelling and Analysis of Multi-agent Communication Protocols using CP-nets. In: Proceedings of the Biennial Engineering Mathematics and Applications Conference (EMAC’98), pp. 119–122 (1998)
3. Billington, J., Gallasch, G.E., Kristensen, L., Mailund, T.: Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 34(1), 23–38 (2004)
4. Billington, J., Gupta, A.K.: Effectiveness of Coloured Petri nets for Modelling and Analysing the Contract Net Protocol. In: Proceedings of 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 22–24, Aarhus, Denmark, pp. 49–65 (2007)
5. Billington, J., Gupta, A.K., Gallasch, G.E.: Modelling and Analysing the Contract Net Protocol-Extension Using Coloured Petri Nets. on Formal Techniques for Networked and Distributed Systems (FORTE Techniques for Networked and Distributed Systems (FORTE 2008), June 10–13, Tokyo, Japan. LNCS, vol. 5048, pp. 169–184. Springer-Verlag (2008)