Article ID Journal Published Year Pages File Type
453561 Computer Standards & Interfaces 2007 11 Pages PDF
Abstract

E-LOTOS is a standard process-algebraic language for formal specification of real-time concurrent and reactive systems. Its originally defined semantics is based on interleaving of events. In the present paper, we propose an enhanced kind of event structures and show how to employ them to give E-LOTOS processes a branching-time true concurrency semantics. The proposed event structures can model real-time processes with data handling and excel in concise representation of event renaming and synchronization.

Related Topics
Physical Sciences and Engineering Computer Science Computer Networks and Communications
Authors
,