Michael C. Wilbur-Ham

According to our database, Michael C. Wilbur-Ham authored at least 4 papers between 1985 and 1988.

Collaborative distances:

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

1988

PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.

Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham

IEEE Trans. Software Eng., 1988

1986

A Methodology for Protocol Engineering.

Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1985

Automated protocol verification.

Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman

Proceedings of the Protocol Specification, 1985

Protocol analysis using numerical Petri nets.

Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour

Proceedings of the Advances in Petri Nets 1985, 1985