Abstract
This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the functional behavior and performance characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into process algebras like CCS or LOTOS. We demonstrate how notions of equivalent behavior – substantial for process algebras – stand in a new light for stochastic process algebras. In particular we discuss the impact of stochastic versions of such equivalences on compositional performance analysis by means of a running example. In addition we discuss analysis techniques, tool support and include a survey of related work as well as recent trends in this area.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
