Mode transfer in process algebra
Jcm Jos Baeten, JA Jan Bergstra · 2000
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] 1 Introduction A useful feature in programming languages and specification languages is the ability to denote mode switches. In particular, most languages have means to describe the disrupt or interrupt the normal execution of a system. Also in process algebra, various disrupt and interrupt operators have received attention, see e.g. [7], [10], [11], [3], [12]. In LOTOS (see [9]) we have the disruption operator, that is denoted [>. Another name is disabling. In this paper, we provide a systematic and full treatment of mode transfer operators in process algebra, including complete axiomatizations, operational rules, analysis of expressive power and ...