1. W. L. Bauerfeld, “Protocol performance prediction,” Proc. International Conference on Communications, IEEE, Boston, Mass., June 20–23, 1983, pp. 1311–1315.
2. G. v. Bochmann and B. Sarikaya, Eds., Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification, VI, Gray Rocks — Montreal, June 10–13 1986, (to be published by North-Holland, Amsterdam).
3. T. Bolognesi and H. Rudin, “On the analysis of time-constrained protocols by network flow algorithms,” Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 491–513.
4. E. Brinksma, “A tutorial on LOTOS,” Proc. of the Fifth Workshop on Protocol Specification, Testing, and Verification, M. Diaz, Ed., Moissac-Toulouse, June 10–13 1985, (North-Holland, Amsterdam, 1985), pp. 171–194.
5. C.C.I.T.T., Orange Books, Sixth Plenary Assembly, Vol. VIII.2, Geneva, 1976.