Colin H. West

Publication Activity (10 Years)

Years Active: 1978-2010
Publications (10 Years): 0

Publications

Gregor von Bochmann, Dave Rayner, Colin H. West
Some notes on the history of protocol engineering. Comput. Networks 54 (18) (2010)
Tony Przygienda, Patrick Droz, Colin H. West
Proxy PNNI Augmented Routing (Proxy PAR). Telecommun. Syst. 11 (3-4) (1999)
Colin H. West, Angelo Tosi
Experiences with a Random Test Driver. Comput. Networks ISDN Syst. 27 (7) (1995)
Colin H. West
The Challenges Facing Formal Description Techniques. FORTE (1993)
Colin H. West
Protocol Validation - Principles and Applications. Comput. Networks ISDN Syst. 24 (3) (1992)
Colin H. West
The first ten years, the next ten years. PSTV (1990)
Colin H. West
Protocol Validation in Complex Systems. SIGCOMM (1989)
Colin H. West
A Validation of the OSI Session Layer Protocol. Comput. Networks 11 (1986)
Colin H. West
Applications and Limitations of Automated Protocol Validation. PSTV (1982)
J. Rubin, Colin H. West
An Improved Protocol Validation Technique. Comput. Networks 6 (2) (1982)
Harry Rudin, Colin H. West
A Validation Technique for Tightly Coupled Protocols. IEEE Trans. Computers 31 (7) (1982)
Pitro Zafiropulo, Colin H. West, Harry Rudin, D. D. Cowan, Daniel Brand
Towards Analyzing and Synthesizing Protocols. IEEE Trans. Commun. 28 (4) (1980)
Gary D. Schultz, David B. Rose, Colin H. West, James P. Gray
Executable Description and Validation of SNA. IEEE Trans. Commun. 28 (4) (1980)
Harry Rudin, Colin H. West, Pitro Zafiropulo
Automated Protocol Validation: One Chain of Development. Comput. Networks 2 (1978)
Colin H. West
An Automated Technique of Communications Protocol Validation. IEEE Trans. Commun. 26 (8) (1978)