Proceedings of International Conference on Network Protocols

摘要

The following topics were dealt with: formal methods; ATM bandwidth assignments; protocol synthesis; ATM switch design; formal description techniques; ATM traffic control; transport protocols; wireless communications; information networks; multimedia synchronization; internetworking; multimedia protocol design; other protocol design; and multimedia LANS.