From LOTOS to LNT.¶
Garavel, H., Lang, F., & Serwe, W. (2017). From LOTOS to LNT. ModelEd, TestEd, TrustEd.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Language of Temporal Ordering Specification
- Operational semantics. Structured semantic rules map each behavior expression to a labeled transition system (LTS): states are behavior configurations; labeled arcs are observable actions or an internal action; one initial state anchors execution.
This sourceHistorical and semantic account of the fully formal ISO definition, language strengths, limitations, and successor design.
- Operational semantics. Structured semantic rules map each behavior expression to a labeled transition system (LTS): states are behavior configurations; labeled arcs are observable actions or an internal action; one initial state anchors execution.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:d2b6a01dd2fa · see in the full table