• DOI:10.1007/3-540-48778-6_15
Corpus ID: 7959787

Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation

@inproceedings{Hermanns1999BisimulationAF,
  title={Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation},
  author={H. Hermanns and M. Siegle},
  booktitle={ARTS},
  year={1999}
}

H. Hermanns, M. Siegle

Published in ARTS 1999

Computer Science

Stochastic process algebras have been introduced in order to enable compositional performance analysis. The size of the state space is a limiting factor, especially if the system consists of many cooperating components. To fight state space explosion, various proposals for compositional aggregation have been made. They rely on minimisation with respect to a congruence relation. This paper addresses the computational complexity of minimisation algorithms and explains how efficient, BDD-based… CONTINUE READING

View via Publisher

cs.bris.ac.uk

Save to Library

Create Alert

Cite

Launch Research Feed