On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi

Marco Bernardo. On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi. Theoretical Computer Science, 563:99-143, 2015. [doi]

Abstract

Abstract is missing.