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 (8)

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

This page was built for publication: