Colin H. West

According to our database, Colin H. West authored at least 15 papers between 1978 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Some notes on the history of protocol engineering.

Gregor von Bochmann, Dave Rayner, Colin H. West

Comput. Networks, 2010

1999

Proxy PNNI Augmented Routing (Proxy PAR).

Tony Przygienda, Patrick Droz, Colin H. West

Telecommun. Syst., 1999

1995

Experiences with a Random Test Driver.

Colin H. West, Angelo Tosi

Comput. Networks ISDN Syst., 1995

1993

The Challenges Facing Formal Description Techniques.

Colin H. West

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Protocol Validation - Principles and Applications.

Colin H. West

Comput. Networks ISDN Syst., 1992

1990

The first ten years, the next ten years.

Colin H. West

Proceedings of the Protocol Specification, 1990

1989

Protocol Validation in Complex Systems.

Colin H. West

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

1986

A Validation of the OSI Session Layer Protocol.

Colin H. West

Comput. Networks, 1986

1982

A Validation Technique for Tightly Coupled Protocols.

Harry Rudin, Colin H. West

IEEE Trans. Computers, 1982

An Improved Protocol Validation Technique.

J. Rubin, Colin H. West

Comput. Networks, 1982

Applications and Limitations of Automated Protocol Validation.

Colin H. West

Proceedings of the Protocol Specification, 1982

1980

Towards Analyzing and Synthesizing Protocols.

Pitro Zafiropulo, Colin H. West, Harry Rudin, D. D. Cowan, Daniel Brand

IEEE Trans. Commun., 1980

Executable Description and Validation of SNA.

Gary D. Schultz, David B. Rose, Colin H. West, James P. Gray

IEEE Trans. Commun., 1980

1978

An Automated Technique of Communications Protocol Validation.

Colin H. West

IEEE Trans. Commun., 1978

Automated Protocol Validation: One Chain of Development.

Harry Rudin, Colin H. West, Pitro Zafiropulo

Comput. Networks, 1978