Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract)

Suzana Andova, Tim A. C. Willemse. Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). Electronic Notes in Theoretical Computer Science, 128(2):53-66, 2005. [doi]

Abstract

Abstract is missing.