Introduction to the ISO specification language LOTOS.

Bolognesi, T., & Brinksma, E. (1987). Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 25-59.

Type

Journal article

Intellectual base

Primary research

Year

1987

Link

https://cadp.inria.fr/ftp/publications/others/Bolognesi-Brinksma-87.pdf

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
  • Full LOTOS attaches typed data offers to interactions; Basic LOTOS omits the data layer and uses gate names as observable actions.

    This sourceFoundational tutorial on Basic and Full LOTOS, operators, observations, data, and behavioral equivalence.

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:0d68f2b4c0d5 · see in the full table