An HDLC protocol specification and its verification using image protocols
- 1 November 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Computer Systems
- Vol. 1 (4), 331-368
- https://doi.org/10.1145/357377.357384
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Mechanisms that enforce bounds on packet lifetimesACM Transactions on Computer Systems, 1983
- From State Machines to Temporal Logic: Specification Methods for Protocol StandardsIEEE Transactions on Communications, 1982
- OSI Reference Model--The ISO Model of Architecture for Open Systems InterconnectionIEEE Transactions on Communications, 1980