Pages that link to "Item:Q5705913"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705913):
Displayed 13 items.
- 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)
- \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)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- A Demonic Approach to Information in Probabilistic Systems (Q3184680) (← 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)