Reconciling real and stochastic time: the need for probabilistic refinement

Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink. Reconciling real and stochastic time: the need for probabilistic refinement. Formal Asp. Comput., 24(4-6):497-518, 2012. [doi]

Abstract

Abstract is missing.