Estimation of overlay link quality from previously observed link qualities | 0 | 0.34 | 2013 |
MTcast: robust and efficient p2p-based video delivery for heterogeneous users | 4 | 0.51 | 2006 |
Automated Verification of Equivalence of Protocol Machines | 2 | 0.44 | 1989 |
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. | 0 | 0.34 | 1989 |
Verification of progress property of algebraically specified communication protocols. | 0 | 0.34 | 1987 |
An Algebraic Specification of HDLC Procedures and Its Verification | 11 | 2.12 | 1984 |