LOTOS manual page¶
CONVECS, I. LOTOS manual page. CADP.
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 sourceAuthoritative maintained language and tool documentation for the data/process split, gates, process algebra, compilers, and documented implementation boundaries.
- Full LOTOS attaches typed data offers to interactions; Basic LOTOS omits the data layer and uses gate names as observable actions.
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:1b3919dfb3e5 · see in the full table