Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra. Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. In James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey, editors, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Volume 1871 of Lecture Notes in Computer Science, pages 180-193, Springer, 2000. [doi]
Abstract is missing.