Probabilistic timed graph transformation systems
From MaRDI portal
Publication:4972014
DOI10.1007/978-3-319-61470-0_10zbMATH Open1425.68170OpenAlexW3175750261MaRDI QIDQ4972014FDOQ4972014
Authors: Maria Maximova, Holger Giese, Christian Krause 
Publication date: 22 November 2019
Published in: Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-397055
Recommendations
- Probabilistic timed graph transformation systems
- Interval probabilistic timed graph transformation systems
- Probabilistic graph transformation systems
- A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
- Compositional analysis of probabilistic timed graph transformation systems
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Grammars and rewriting systems (68Q42)
Cited In (9)
- Probabilistic timed graph transformation systems
- Interval probabilistic timed graph transformation systems
- Probabilistic Metric Temporal Graph Logic
- Graph grammars according to the type of input and manipulated data: a survey
- Probabilistic real-time rewrite theories and their expressive power
- Compositional analysis of probabilistic timed graph transformation systems
- Compositional analysis of probabilistic timed graph transformation systems
- A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
- Probabilistic graph transformation systems
This page was built for publication: Probabilistic timed graph transformation systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4972014)
