Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
453561 | Computer Standards & Interfaces | 2007 | 11 Pages |
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
M. Kapus-Kolar,