Mironov, Andrew, M.Bhavsar, Virendra, C.2023-03-012023-03-012000https://unbscholar.lib.unb.ca/handle/1882/14770http://purl.org/coar/access_right/c_abf2A New Approach for Specification and Verification Of Distributed Agentstechnical reportComputer Science