On the power of concurrency theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Model-checking of real-time systems: a telecommunications application: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specifying Performance Measures for PEPA
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Giving a net semantics to Markovian process algebra
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Stochastic specification and verification
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |
An approach is proposed for modeling and analyzing concurrent systems that integrates different views (abstract vs. concrete) as well as different aspects (functional vs. performance) of their behavior. The approach is based on a stochastic process algebra, a formalism for specifying and studying concurrent systems that is characterized by the property of compositionality. The approach is instantiated to the case of Extended Markovian Process Algebra (EMPA), introduced together with the collection of its four semantics and the notion of equivalence that are required in order to implement the approach. Finally, the case study of the alternating bit protocol is presented to illustrate the approach.