A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition

E-LOTOS is one of the standard languages for formal specification of real-time concurrent and reactive systems. As it is process-algebraic, its expressive power lies in its process-composition operators. Of course, not all forms of composition can be directly expressed in the language. In the most difficult cases, one typically resorts to the constraint-oriented specification style. We demonstrate that a slight enhancement of the E-LOTOS renaming operator would make the specification style even more powerful. As an example, we show how to specify choice, parallel composition and disabling enhanced with action priorities.