Pages that link to "Item:Q1678172"
From MaRDI portal
The following pages link to SOS specifications for uniformly continuous operators (Q1678172):
Displaying 4 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
