Graph Transformations

DOI10.1007/B100934MaRDI QIDQ5292597zbMATH OpenOpenAlexFDO

Authors R. Heckel, Georgios Lajios, Sebastian Menge

Publication date 21 June 2007

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

Full work available at URL https://doi.org/10.1007/b100934

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Stochastic graph transformation systems
• Theoretical Aspects of Computing – ICTAC 2005
• Probabilistic graph transformation systems
• A framework for stochastic system modelling and analysis (work in progress)
• Simulation of generalised semi-Markov processes based on graph transformation systems

Cited in

(13)

• Theoretical Aspects of Computing – ICTAC 2005
• Stochastic graph transformation systems
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars
• scientific article; zbMATH DE number 7456049 (Why is no real title available?)
• Compositional analysis of probabilistic timed graph transformation systems
• Stochastic graph transformation for social network modeling
• A framework for stochastic system modelling and analysis (work in progress)
• Stochastic object-based graph grammars
• Probabilistic graph transformation systems
• Simulation of generalised semi-Markov processes based on graph transformation systems
• Parallelism and concurrency of stochastic graph transformations

This page was built for publication: Graph Transformations

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