John Davidson
Ungermann-Bass, Inc., Santa Clara, CA
Local-area distributed systems
IBM Systems Journal
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking