Hywel R. Dunn-Davies, Jim Cunningham. Verifying realizability and reachability in recursive interaction protocol specifications. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, editors, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2. pages 1233-1234, IFAAMAS, 2009. [doi]
Abstract is missing.