A Coloured Petri Net Approach to Protocol Verification. - Jonathan Billington; Guy Edward Gallasch; Bing Han 014 (Lectures on Concurrency and Petri Nets, 2003)

On Defining the Service Provided by TCP. - Jonathan Billington; Bing Han 014 (ACSC, 2003)

Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels. - Jonathan Billington; Bing Han 014 (ACSC, 2004)

Termination Properties of TCP's Connection Management Procedures. - Bing Han 014; Jonathan Billington (ICATPN, 2005)

Sweep-Line Analysis of TCP Connection Management. - Guy Edward Gallasch; Bing Han 014; Jonathan Billington (ICFEM, 2005)

Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties. - Jonathan Billington; Bing Han 014 (Fundam. Informaticae, 2007)

Modelling and analysing the functional behaviour of TCP's connection management procedures. - Jonathan Billington; Bing Han 014 (Int. J. Softw. Tools Technol. Transf., 2007)