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

onion skinrewriting logic semantics

Mathematics Subject Classification ID

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

Cited in

(10)

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

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)