Geoffrey R. Wheeler

According to our database, Geoffrey R. Wheeler authored at least 5 papers between 1985 and 1999.

Collaborative distances:

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

1999

The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets.

Geoffrey R. Wheeler

Proceedings of the Application of Petri Nets to Communication Networks, 1999

1991

Tool Demonstration: FORSEE.

Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker

Proceedings of the Formal Description Techniques, 1991

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

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