Pages that link to "Item:Q1603705"
From MaRDI portal
The following pages link to The theory of interactive generalized semi-Markov processes (Q1603705):
Displaying 18 items.
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Discrete time generative-reactive probabilistic processes with different advancing speeds (Q1853593) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- An integrated approach for the specification and analysis of stochastic real-time systems (Q2842863) (← links)
- Revisiting interactive Markov chains (Q2842864) (← links)
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time (Q2870192) (← links)
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains (Q3510814) (← links)
- An expressiveness study of priority in process calculi (Q3655761) (← links)
- YMCA (Q5262955) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494308) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← links)
- (Q5856402) (← links)
