Search
Now showing items 1-2 of 2
A theory for the semantics of stochastic and non-deterministic continuous systems
(2014)
The description of complex systems involving physical or biological components usually requires to model complex continuous behavior induced by variables such as time, distance, speed, temperature, alkalinity of a solution, ...
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
(2014)
Probabilistic transition system specifications (PTSS) provide structural operational semantics for reactive probabilistic labeled transition systems. Bisimulation equivalences and bisimulation metrics are fundamental notions ...