scientific article; zbMATH DE number 969069
From MaRDI portal
Publication:5284547
zbMATH Open0863.68080MaRDI QIDQ5284547FDOQ5284547
Authors: David Clark, Richard Kennaway
Publication date: 22 January 1997
Title of this publication is not available (Why is that?)
Recommendations
Cited In (5)
- 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?)
- On relating rewriting systems and graph grammars to event structures
- 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)