scientific article; zbMATH DE number 969069

zbMATH Open0863.68080MaRDI QIDQ5284547FDOQ5284547

Richard Kennaway, David Clark

Publication date: 22 January 1997

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1231481
• On relating rewriting systems and graph grammars to event structures
• scientific article
• REDEX CAPTURING IN TERM GRAPH REWRITING

zbMATH Keywords

term graph rewrite

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (4)

• A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
• Relating conflict-free stable transition and event models via redex families
• Title not available (Why is that?)
• The true concurrency of differential interaction nets

This page was built for publication:

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