A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
IEEE Transactions on Software Engineering
Hi-index | 0.00 |