Amar Kumar Gupta

According to our database, Amar Kumar Gupta authored at least 2 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Equivalence class verification of the contract net protocol-extension.

Amar Kumar Gupta, Guy Edward Gallasch

Int. J. Softw. Tools Technol. Transf., 2016

2008

Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.

Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008