An event structure semantics for graph grammars with parallel productions

DOI10.1007/3-540-61228-9_91MaRDI QIDQ4645280zbMATH OpenOpenAlexFDO

Authors Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi

Publication date 10 January 2019

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61228-9_91

zbMATH Keywords

partial ordergraph grammarevent structureparallel productiondirect derivation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1330131
• scientific article; zbMATH DE number 2087495
• scientific article; zbMATH DE number 4049016
• Synchronized composition of graph grammar productions
• scientific article; zbMATH DE number 3856388

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)

• Event Structure Semantics for Nominal Calculi
• Graph rewriting for a partial ordering semantics of concurrent constraints programming
• A calculus of concurrent graph-rewriting processes
• Concurrency for Graph Grammars in a Petri net shell
• Formal Methods in Software and Systems Modeling
• Synchronized composition of graph grammar productions
• A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
• Ugo Montanari and Graph Transformation
• Coreflective concurrent semantics for single-pushout graph grammars.
• scientific article; zbMATH DE number 2087495 (Why is no real title available?)
• On relating rewriting systems and graph grammars to event structures
• scientific article; zbMATH DE number 4049016 (Why is no real title available?)
• scientific article; zbMATH DE number 3982501 (Why is no real title available?)
• A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development

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)