Pages that link to "Item:Q6104380"
From MaRDI portal
The following pages link to Extended Markovian Process Algebra (Q6104380):
Displaying 8 items.
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- An algebra-based method to associate rewards with EMPA terms (Q4571967) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
