Alternating Bit Protocol.¶
CONVECS, I. Alternating Bit Protocol. CADP Case Studies.
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
- … and verified against its expected service; Philips' Bounded Retransmission Protocol was translated to LOTOS and checked by equivalence plus safety and liveness properties; an ISDN telephony and call-waiting study used staged LOTOS specification and verification to expose ambiguity in informal recommendations.
This sourceFour-process LOTOS model, LTS generation, and observational-equivalence comparison with the expected service.
- … and verified against its expected service; Philips' Bounded Retransmission Protocol was translated to LOTOS and checked by equivalence plus safety and liveness properties; an ISDN telephony and call-waiting study used staged LOTOS specification and verification to expose ambiguity in informal recommendations.
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:51d78268502c · see in the full table