Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
An introduction to ET-LOTOS for the description of time-sensitive systems
Computer Networks and ISDN Systems
Processes are in the eye of the beholder
Theoretical Computer Science
Bundle event structures: a non-interleaving semantics for LOTOS
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
On Specifying Real-Time Systems in a Causality-Based Setting
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
A True Concurrency Semantics for ET-LOTOS
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Protocol Synthesis from Context-Free Processes Using Event Structures
RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications
An event structure based semantics for high-level message sequence charts
Mathematical Structures in Computer Science
ACTLW - An action-based computation tree logic with unless operator
Information Sciences: an International Journal
An action refinement operator for E-LOTOS with true concurrency
Computer Standards & Interfaces
Reversible enhanced event structures: Towards reversible E-LOTOS
Computer Standards & Interfaces
| Hi-index | 0.00 |
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.