An event structure semantics for graph grammars with parallel productions
From MaRDI portal
Publication:4645280
Recommendations
Cites work
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 4049016 (Why is no real title available?)
- scientific article; zbMATH DE number 4049095 (Why is no real title available?)
- scientific article; zbMATH DE number 1231483 (Why is no real title available?)
- scientific article; zbMATH DE number 4119660 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- On relating rewriting systems and graph grammars to event structures
- On the semantics of place/transition Petri nets
- Parallelism and concurrency in high-level replacement systems
Cited in
(14)- scientific article; zbMATH DE number 3982501 (Why is no real title available?)
- Coreflective concurrent semantics for single-pushout graph grammars.
- A calculus of concurrent graph-rewriting processes
- Synchronized composition of graph grammar productions
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- scientific article; zbMATH DE number 2087495 (Why is no real title available?)
- A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
- Graph rewriting for a partial ordering semantics of concurrent constraints programming
- Formal Methods in Software and Systems Modeling
- Concurrency for Graph Grammars in a Petri net shell
- Event Structure Semantics for Nominal Calculi
- On relating rewriting systems and graph grammars to event structures
- Ugo Montanari and Graph Transformation
- scientific article; zbMATH DE number 4049016 (Why is no real title available?)
This page was built for publication: An event structure semantics for graph grammars with parallel productions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645280)
