ISO 8807:1989—Information processing systems—Open Systems Interconnection—LOTOS—A formal description technique based on the temporal ordering of observational behaviour

International Organization for Standardization. (1989). ISO 8807:1989—Information processing systems—Open Systems Interconnection—LOTOS—A formal description technique based on the temporal ordering of observational behaviour.

Type

Standard

Intellectual base

Reference work

Year

1989

Link

https://www.iso.org/standard/16258.html

Cited by

1 citation across 1 artifact.

Domain-specific

• Language of Temporal Ordering Specification
  • ISO 8807 defines both its syntax and semantics and identifies OSI service definitions, protocol specifications, conformance tests, and other distributed systems such as telephone switching networks as its scope.

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