Exploiting Structure in Solution: Decomposing Composed Models

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Since their introduction nearly ten years ago, compositionality has been reported as one of the major attractions of stochastic process algebras. The benefits that compositionality provides for model construction are readily apparent and have been demonstrated in numerous case studies. Early research on the compositionality of the languages focussed on how the inherent structure could be used, in conjunction with equivalence relations, for model simplication and aggregation. In this paper we consider how far we have been able to take advantage of compositionality when it comes to solving the Markov process underlying a stochastic process algebra model and outline directions for future work in order for current results to be fully exploited.
Original languageEnglish
Title of host publicationProceedings of Sixth International Workshop on Process Algebra and Performance Modelling
Number of pages15
Publication statusPublished - 1998


Dive into the research topics of 'Exploiting Structure in Solution: Decomposing Composed Models'. Together they form a unique fingerprint.

Cite this