Huibiao Zhu, Jifeng He, Jonathan P. Bowen. Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. In 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA. pages 131-143, IEEE Computer Society, 2007. [doi]
Abstract is missing.