Graph Transformations

DOI10.1007/B100934zbMATH Open1116.68484OpenAlexW4214712303MaRDI QIDQ5292597FDOQ5292597

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

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

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)

Cited In (12)

• Stochastic graph transformation systems
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• Title not available (Why is that?)
• Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars
• Title not available (Why is that?)
• Compositional analysis of probabilistic timed graph transformation systems
• Stochastic graph transformation for social network modeling
• 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
• Theoretical Aspects of Computing – ICTAC 2005

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)