Computing Behavioral Relations for Probabilistic Concurrent Systems

Daniel Gebler, Vahid Hashemi, Andrea Turrini. Computing Behavioral Relations for Probabilistic Concurrent Systems. In ROCKS. pages 117-155, 2012. [doi]

Abstract

Abstract is missing.