CRMA-II: A MAC Protocol for Ring-Based Gb/s LANs and MANs.
Comput. Networks ISDN Syst., 1994
The IBM Zurich Research Laboratory's 1.13 Gb/s LAN/MAN Prototype.
Comput. Networks ISDN Syst., 1993
DQMA and CRMA: New Access Schemes for Gbit/s LANs and MANs.
Proceedings of the Proceedings IEEE INFOCOM '90, 1990
On Communicating Finite-State Machines
J. ACM, April, 1983
Towards Analyzing and Synthesizing Protocols.
IEEE Trans. Commun., 1980
Protocol Validation by Duologue-Matrix Analysis.
IEEE Trans. Commun., 1978
Automated Protocol Validation: One Chain of Development.
Comput. Networks, 1978
Design rules for producing logically complete two-process interactions and communications protocols.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978
Extension of a Circuit-Switched User/Network Interface to Packet-Switching.
Proceedings of the Third International Conference on Computer Communication, 1976
A Network Architecture for the Integration of Circuit and Packet Switching.
Proceedings of the Third International Conference on Computer Communication, 1976
Performance Evaluation of Reliability Improvement Techniques for Single-Loop Communications Systems.
IEEE Trans. Commun., 1974
Reliability Optimization in Multiloop Communication Networks.
IEEE Trans. Commun., 1973