scientific article; zbMATH DE number 1569122

zbMath0968.68079MaRDI QIDQ4762648

José Meseguer

Publication date: 22 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rewriting logicobject-based distributed systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Distributed systems (68M14)

Related Items

Rewriting logic: Roadmap and bibliography, Specification and analysis of the AER/NCA active network protocol suite in real-time Maude, Twenty years of rewriting logic, A formal library of set relations and its application to synchronous languages, Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, An operational semantics for object-oriented concepts based on the class hierarchy, Maude: specification and programming in rewriting logic, A Maude specification of an object-oriented model for telecommunication networks

Uses Software

• OBJ3
• Maude