Pages that link to "Item:Q5705913"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705913):
Displaying 19 items.
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- A return to stochasticity and probability in spiking neural P systems (Q1983017) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Stochastic non-determinism and effectivity functions (Q2987056) (← links)
- A Demonic Approach to Information in Probabilistic Systems (Q3184680) (← links)
- (Q3792440) (← links)
- (Q4550984) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Random Measurable Selections (Q5418972) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
