scientific article

zbMath0962.68081MaRDI QIDQ2703711

Grit Denker, José Meseguer, Carolyn L. Talcott

Publication date: 7 May 2001

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

zbMATH Keywords

rewriting logic semanticsonion skin

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (7)

Rewriting logic: Roadmap and bibliography ⋮ Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ Twenty years of rewriting logic ⋮ Unnamed Item ⋮ A Formal Framework for Interactive Agents ⋮ Comparing Three Coordination Models: Reo, ARC, and RRD

Uses Software

• Maude

This page was built for publication: