scientific article; zbMATH DE number 1759745

MaRDI QIDQ4536762zbMATH OpenFDO

Authors Jeffrey van Baalen, James Caldwell, Shivakant Mishra

Publication date 22 July 2002

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:

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