| |
| | Citations: Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-based Implementation - Hermanns, ... (Site not responding. Last check: 2007-11-06) |
 | | The bisimilar quotient of component k has state space = f 0; n k 1 g, and is characterized by matrices W k;e 2 R n k n k de ned.... |
 | | Hermanns, M. Siegle, Bisimulation algorithms for stochastic process algebras and their BDD-based implementation, in: J.P. Katoen (Ed.), Proceedings of the ARTS'99, Lecture Notes in Computer Science, vol. |
 | | ....for non stochastic process algebras and for the purely Markovian case. |
| citeseer.ist.psu.edu /context/869896/390309 (2861 words) |
|