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

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

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)

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

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)