Formalisms for Specifying Markovian Population Models
From MaRDI portal
Publication:3646248
DOI10.1007/978-3-642-04420-5_2zbMath1260.68284MaRDI QIDQ3646248
Barbara Jobstmann, Verena Wolf, Thomas A. Henzinger
Publication date: 19 November 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://repository.ist.ac.at/67/1/Formalisms_for_specifying_Markovian_population_models.pdf
65C40: Numerical analysis or methods applied to Markov chains
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
60J27: Continuous-time Markov processes on discrete state spaces
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Approximation of event probabilities in noisy cellular processes
- Continuous-time Markov chains. An applications-oriented approach
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- The numerical solution of stochastic automata networks
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Stochastic approaches for modelling in vivo reactions
- The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
- Sliding Window Abstraction for Infinite Markov Chains
- Guarded commands, nondeterminacy and formal derivation of programs
- Exact and ordinary lumpability in finite Markov chains
- Stochastic Petri Nets
- Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations
- A Compositional Approach to Performance Modelling