Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. - Jonathan Billington; Amar Kumar Gupta; Guy Edward Gallasch (FORTE, 2008)

Equivalence class verification of the contract net protocol-extension. - Amar Kumar Gupta; Guy Edward Gallasch (Int. J. Softw. Tools Technol. Transf., 2016)