Philips' Bounded Retransmission Protocol.¶
CONVECS, I. Philips' Bounded Retransmission 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 sourceLOTOS translation, branching-equivalence analysis, and ACTL safety/liveness checking.
- … 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:be2d06654e27 · see in the full table