Specifying and checking fault-tolerant agent-based protocols using Maude

DOI10.1007/3-540-45484-5_15MaRDI QIDQ4536762zbMATH OpenFDO

Authors Jeffrey van Baalen, James Caldwell, Shivakant Mishra

Publication date 22 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45484-5_15

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Artificial intelligence (68T99) Computing methodologies and applications (68U99)

Cited in

(3)

• Rewriting logic: Roadmap and bibliography
• Executable structural operational semantics in Maude
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Specifying and checking fault-tolerant agent-based protocols using Maude

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536762)