Subject
Computer Networks and Communications
Reference18 articles.
1. M.T. Liu, Protocol engineering, in: M.C. Yovits (Ed.), Advances in Computer, vol. 29, Academic Press, New York, 1989, pp. 79–195.
2. Formal techniques for protocol specification and verification;Sunshine;IEEE Comp. Magazine,1979
3. S.T. Voung, D.D. Cowan, Reachability analysis of protocols with FIFO channels, Proc. ACM SIGCOMM, ACM, 1983, pp. 49–57.
4. Protocol validation by maximal progress state exploration;Gouda;IEEE Trans. Commun. COM-,1984
5. Protocol verification via projections;Lam;IEEE Trans. Soft. Engg.,1984