Pages that link to "Item:Q5419173"
From MaRDI portal
The following pages link to A uniform definition of stochastic process calculi (Q5419173):
Displaying 12 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. (Q2050098) (← links)
- Nonlinear pattern matching in rule-based modeling languages (Q2142118) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Fluid approximation of broadcasting systems (Q2306023) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Policy Synthesis for Collective Dynamics (Q6104818) (← links)