Rewriting semantics of meta-objects and composable distributed services

MaRDI QIDQ2703711zbMATH OpenFDO

Authors Grit Denker, José Meseguer, Carolyn Talcott

Publication date 7 May 2001

zbMATH Keywords

rewriting logic semanticsonion skin

Mathematics Subject Classification ID

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

Cited in

(10)

• Twenty years of rewriting logic
• Building correct-by-construction systems with formal patterns
• scientific article; zbMATH DE number 1860615 (Why is no real title available?)
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• scientific article; zbMATH DE number 2080842 (Why is no real title available?)
• A formal framework for interactive agents
• Comparing three coordination models: Reo, ARC, and PBRD
• A secret-sharing protocol modelled in Maude
• Comparing three coordination models: Reo, ARC, and RRD
• Rewriting logic: Roadmap and bibliography

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Rewriting semantics of meta-objects and composable distributed services

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