Login / Signup
Amar Kumar Gupta
Publication Activity (10 Years)
Years Active: 2008-2016
Publications (10 Years): 1
Top Topics
Equivalence Class
Petri Net
Directed Acyclic Graph
Distributed Problem Solving
Top Venues
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>
Amar Kumar Gupta
,
Guy Edward Gallasch
Equivalence class verification of the contract net protocol-extension.
Int. J. Softw. Tools Technol. Transf.
18 (6) (2016)
Jonathan Billington
,
Amar Kumar Gupta
,
Guy Edward Gallasch
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.
FORTE
(2008)