Wilbur-Ham, M.C.

• Billington, J.; Wheeler, G.R.; Wilbur-Ham, M.C.:
  PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. 1988.

• Wilbur-Ham, M.C.:
  PROTEAN: A Tool for Verifying Protocol Specifications. 1987.

• Billington, J.; Wheeler, G.R.; Wilbur-Ham, M.C.:
  PROTEAN: A Specification and Verification Aid for Communication Protocols. 1987.

• Billington, J.; Wilbur-Ham, M.C.:
  PROTEAN: A High-Level Petri Net Tool. 1987.

• Wilbur-Ham, M.C.:
  Numerical Petri Nets: A Guide, Version 2. 1987.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  Analysis of the OSI Class 0 Transport Protocol. 1986.

• Billington, J.; Wilbur-Ham, M.C.; Bearman, M.Y.:
  Automated Protocol Verification. 1986.

• Wheeler, G.R.; Batten, T.J.; Billington, J.; Wilbur-Ham, M.C.:
  A Methodology for Protocol Engineering. 1986.

• Wheeler, G.R.; Wilbur-Ham, M.C.; Billington, J.; Gilmour, J.A.:
  Protocol Analysis Using Numerical Petri Nets. 1986.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  Analysis of Open Systems Interconnection Transport Protocol Standard. 1985.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  Specification and Analysis of the OSI Class 0 Transport Protocol. 1985.

• Wilbur-Ham, M.C.:
  Numerical Petri Nets - A Guide. 1985.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  A Formal Specification of the OSI Class 0 Transport Protocol Using NPNs. 1984.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  Some Results of Verifying the OSI Class 0 Transport Protocol. 1984.

• Wilbur-Ham, M.C.; Billington, J.:
  A Protocol Emulation and Analysis Tool. 1983.

Back to the Petri Nets Bibliography