Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information.

Wang Yi 0001 Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. 680-693 1994 conf/ftrtft/1994 FTRTFT db/conf/ftrtft/ftrtft1994.html#Wang94 https://doi.org/10.1007/3-540-58468-4_190