Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language | Publicación