Skip to Main Content
The only form of interprocess communication in E-LOTOS, a standard process-algebraic language for specification of concurrent and reactive system, is multiway synchronization. We show that through abstract interpretation of events, E-LOTOS can also support broadcast communication. A transformation is provided for encoding the enhanced semantics in the original E-LOTOS. The discussion is limited to LOTOS-like processes.