Formal Protocol Specification

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Formal Protocol Specification.

• Language of Temporal Ordering Specification — The ISO LOTOS formal-description language, coupling algebraic abstract data types with a CCS/CSP-derived value-passing process algebra so distributed-system behavior is specified as choices, orderings, rendezvous synchronizations, and hidden or observable actions with labeled-transition-system semantics.