Geoffrey R. Wheeler

Publication Activity (10 Years)

Years Active: 1985-1999
Publications (10 Years): 0

Publications

Geoffrey R. Wheeler
The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets. Application of Petri Nets to Communication Networks (1999)
Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker
Tool Demonstration: FORSEE. FORTE (1991)
Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. IEEE Trans. Software Eng. 14 (3) (1988)
Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham
A Methodology for Protocol Engineering. ICCC (1986)
Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour
Protocol analysis using numerical Petri nets. Applications and Theory in Petri Nets (1985)