Theses
Vanit-Anunchai, S. An Investigation of the Datagram Congestion Control Protocol's Connection Management and Synchronisation Procedures (pdf - 1807kb). PhD Thesis, Computer Systems Engineering Centre, University of South Australia, November 2007.
Gallasch, G. E. Parametric Verification of the Class of Stop-and-Wait Protocols (pdf - 2092kb). PhD Thesis, Computer Systems Engineering Centre, University of South Australia, May 2007.
Liu, L. Towards Parametric Verification of the Capability Exchange Signalling Protocol (pdf - 3158kb). PhD Thesis, Computer Systems Engineering Centre, University of South Australia, August 2006.
Han, B. Formal Verification of the TCP Service and Verification of TCP Connection Management (pdf - 2761kb). PhD Thesis, Computer Systems Engineering Centre, University of South Australia, December 2004.
Ouyang, C. Formal Specification and Verification of the Internet Open Trading Protocol using Coloured Petri Nets (pdf - 4228kb). PhD Thesis, Computer Systems Engineering Centre, University of South Australia, June 2004.
Villapol, M. Modelling and Analysis of the Resource Reservation Protocol using Coloured Petri Nets (pdf - 1541kb). PhD Thesis, Institute for Telecommunications Research and Computer Systems Engineering Centre, University of South Australia, November 2003.
Gordon, S. D. Verification of the WAP Transaction Layer using Coloured Petri nets (pdf - 1229kb). PhD Thesis, Institute for Telecommunications Research and Computer Systems Engineering Centre, University of South Australia, November 2001.
Janczura, C. W. Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets (pdf - 1341kb). School of Mathematics and Institute for Telecommunications Research, University of South Australia, August 1998.
Tokmakoff, A. A. Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java (pdf - 1322kb). PhD Thesis, Telecommunications Systems Engineering Centre, Institute for Telecommunications Research, University of South Australia, March 1998.
Floreani, D. The Interconnection of Tactical Packet Radio Networks and BISDN (pdf - 690kb). PhD Thesis, Institute for Telecommunications Research and School of Physics and Electronic Systems Engineering (School of Electrical and Information Engineering), University of South Australia, August 1996.
Billington, J. Extensions to Coloured Petri Nets and their Application to Protocols (pdf - 722kb). PhD Thesis, University of Cambridge, May 1990.