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]
No references recorded for this publication.
No citations of this publication recorded.