A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS

Authors:
M. Kapus-Kolar
Affiliations:
Jozef Stefan Institute, POB 3000, SI-1001 Ljubljana, Slovenia
Venue:
Computer Standards & Interfaces
Year:
2002

Citing 4
Cited 0

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
On the introduction of exceptions in E-LOTOS

IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Restoring the concept of observability in E-LOTOS

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract

LOTOS and its enhanced version E-LOTOS are standard languages for formal specification of concurrent and reactive systems. For better backward compatibility of E-LOTOS with LOTOS, we introduce into E-LOTOS specification and trapping of non-urgent and potentially decisive successful termination of processes.