Restoring the concept of observability in E-LOTOS

Authors:
M. Kapus-Kolar
Affiliations:
-
Venue:
Computer Standards & Interfaces
Year:
2000

Citing 0
Cited 4

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

Computer Standards & Interfaces
An action refinement operator for E-LOTOS with true concurrency

Computer Standards & Interfaces
Reversible enhanced event structures: Towards reversible E-LOTOS

Computer Standards & Interfaces
Towards weak sequencing for E-LOTOS

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract