Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.

Huibiao Zhu, Jifeng He, Jonathan P. Bowen

Browse the full SEW paper archive.