scientific article; zbMATH DE number 7020157

MaRDI QIDQ4621159zbMATH OpenFDO

Authors Andrei Dorman, Tobias Heindel, Barbara König

Publication date 8 February 2019

Full work available at URL https://arxiv.org/abs/1108.0465

zbMATH Keywords

compositional methodsgraph transformationprocess calculistructural operational semantics

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 1086663
• scientific article; zbMATH DE number 7456059
• Graph expressions and graph rewritings
• Theoretical Computer Science
• scientific article; zbMATH DE number 125890
• scientific article; zbMATH DE number 1192310
• Relational graph rewritings
• A structural approach to operational semantics

Cited in

(8)

• Synthesising CCS bisimulation using graph rewriting
• Equivalence and independence in controlled graph-rewriting processes
• A calculus of concurrent graph-rewriting processes
• A higher-order calculus for graph transformation
• An operational semantics of \textsc{CommUnity} based on graph transformation systems
• Compositionality in graph transformation
• scientific article; zbMATH DE number 125890 (Why is no real title available?)
• Saturated LTSs for adhesive rewriting systems

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 Q4621159)