Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer, Heidelberg (2010)
2. Lecture Notes in Computer Science;C. Baier,1997
3. Baier, C., Katoen, J.-P., Hermanns, H., Wolf, V.: Comparative Branching-Time Semantics for Markov Chains. Information and Computation 200, 149–214 (2005)
4. Bernardo, M.: Non-Bisimulation-Based Markovian Behavioral Equivalences. Journal of Logic and Algebraic Programming 72, 3–49 (2007)
5. Bernardo, M.: Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes (in preparation)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献