We present GSMPA, a stochastically timed process algebra that enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled through the adoption of the mechanism of action identification as well as the adoption of the preselection policy for alternative actions. GSMPA is introduced together with the definition o...

Process algebras constitute one of the main tools for modeling and analyzing concurrent systems. Unfortunately, with classical process algebras only the functional aspect of the behavior of concurrent systems can be modeled and analyzed. Since the relevance of integrating the performance modeling and evaluation into the process of specification, design and implementation of concurrent systems h...

This paper provides a systematic and full treatment of mode transfer operators in process algebra, including complete axiomatizations, operational rules, analysis of expressive power and extensions with timing features. In particular, we study a disrupt operator and an interrupt operator. Note: this paper is a revision and extension of [7]