Concurrent graph and term graph rewriting

DOI10.1007/3-540-61604-7_69MaRDI QIDQ6162098zbMATH OpenOpenAlexFDO

Authors Andrea Corradini

Publication date 28 June 2023

Published in CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61604-7_69

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 749804
• scientific article; zbMATH DE number 219259
• scientific article; zbMATH DE number 1231483
• Formal Methods in Software and Systems Modeling
• Concurrent Rewriting for Graphs with Equivalences

Cites work

• Abstract graph derivations in the double pushout approach
• Actor grammars
• Algebraic approach to single-pushout graph transformation
• Computation graphs for actor grammars
• ESM systems and the composition of their computations
• Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings
• Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. Under the auspices of the European Association for Theoretical Computer Science
• Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3819107 (Why is no real title available?)
• scientific article; zbMATH DE number 3819112 (Why is no real title available?)
• scientific article; zbMATH DE number 3827230 (Why is no real title available?)
• scientific article; zbMATH DE number 4037217 (Why is no real title available?)
• scientific article; zbMATH DE number 4049016 (Why is no real title available?)
• scientific article; zbMATH DE number 4049017 (Why is no real title available?)
• scientific article; zbMATH DE number 4049095 (Why is no real title available?)
• scientific article; zbMATH DE number 4049108 (Why is no real title available?)
• scientific article; zbMATH DE number 3711390 (Why is no real title available?)
• scientific article; zbMATH DE number 3711391 (Why is no real title available?)
• scientific article; zbMATH DE number 3624774 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 1231476 (Why is no real title available?)
• scientific article; zbMATH DE number 1231481 (Why is no real title available?)
• scientific article; zbMATH DE number 1231482 (Why is no real title available?)
• scientific article; zbMATH DE number 1231483 (Why is no real title available?)
• scientific article; zbMATH DE number 1231496 (Why is no real title available?)
• scientific article; zbMATH DE number 219260 (Why is no real title available?)
• scientific article; zbMATH DE number 234035 (Why is no real title available?)
• Hyperedge replacement: grammars and languages
• Net processes correspond to derivation processes in graph grammars
• Note on standard representation of graphs and graph derivations
• On categorical graph grammars integrating structural transformations and operations on labels
• On relating rewriting systems and graph grammars to event structures
• Parallelism and concurrency in high-level replacement systems
• Petri nets are monoids
• Petri nets, event structures and domains. I
• Structure of concurrency
• The non-sequential behaviour of Petri nets

Cited in

(17)

• Graph-rewriting Petri nets
• A structural approach to graph transformation based on symmetric Petri nets
• A calculus of concurrent graph-rewriting processes
• A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
• Workshop on Petri Nets and Graph Transformations
• scientific article; zbMATH DE number 4043232 (Why is no real title available?)
• scientific article; zbMATH DE number 1231489 (Why is no real title available?)
• A graph rewriting framework for Statecharts semantics
• Parallel Graph Rewriting with Overlapping Rules
• scientific article; zbMATH DE number 219259 (Why is no real title available?)
• Concurrency and loose semantics of open graph transformation systems
• scientific article; zbMATH DE number 919848 (Why is no real title available?)
• Extending graph rewriting with copying
• On relating rewriting systems and graph grammars to event structures
• Concurrent Rewriting for Graphs with Equivalences
• Foundations of Software Science and Computation Structures
• Unfolding semantics of graph transformation

This page was built for publication: Concurrent graph and term graph rewriting

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