Specification of the Transport Service Using Numerical Petri Nets. - Jonathan Billington (PSTV, 1982)

Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. - Jonathan Billington (Protocol Specification, Testing, and Verification, 1983)

Protocol analysis using numerical Petri nets. - Geoffrey R. Wheeler; Michael C. Wilbur-Ham; Jonathan Billington; J. A. Gilmour (Applications and Theory in Petri Nets, 1985)

On Specifying Performance Aspects of Protocol Services. - Jonathan Billington (PNPM, 1985)

Automated protocol verification. - Jonathan Billington; Michael C. Wilbur-Ham; M. Y. Bearman (PSTV, 1985)

A Methodology for Protocol Engineering. - Geoffrey R. Wheeler; Timothy J. Batten; Jonathan Billington; Michael C. Wilbur-Ham (ICCC, 1986)

A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. - Jonathan Billington (Specification and Verification of Concurrent Systems, 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)

Extensions to Coloured Petri Nets. - Jonathan Billington (PNPM, 1989)

Many-Sorted High-Level Nets. - Jonathan Billington (PNPM, 1989)

Tool Demonstration: FORSEE. - Jonathan Billington; Geoffrey R. Wheeler; Brian Keck; Ken R. Parker (FORTE, 1991)

ISO Standards in Software Engineering. - Jonathan Billington (Software Quality and Productivity, 1994)

Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. - Jonathan Billington (Petri Nets (2), 1996)

Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. - D. J. Floreani; Jonathan Billington; A. J. Dadej (Application and Theory of Petri Nets, 1996)

Coloured Petri net modelling of the ODP Trader for use in resource discovery. - Andrew Tokmakoff; Jonathan Billington (Comput. Commun., 1996)

Analysing a Missile Simulator with Coloured Petri Nets. - Steven Gordon; Jonathan Billington (Int. J. Softw. Tools Technol. Transf., 1998)

An Approach to the Analysis of Interworking Traders. - Andrew Tokmakoff; Jonathan Billington (ICATPN, 1999)

RSVP for LEO satellites. - María E. Villapol; Jonathan Billington (ICON, 1999)

Modelling the WAP Transaction Service using Coloured Petri Nets. - Steven Gordon; Jonathan Billington (MDA, 1999)

Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. - Steven Gordon; Jonathan Billington (ICATPN, 2000)

Verification of a Revised WAP Wireless Transaction Protocol. - Steven Gordon; Lars Michael Kristensen; Jonathan Billington (ICATPN, 2002)

Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. - Lin Liu 003; Jonathan Billington (ICATPN, 2002)

A Formal Service Specification for the Internet Open Trading Protocol. - Chun Ouyang 001; Lars Michael Kristensen; Jonathan Billington (ICATPN, 2002)

A Formal and Executable Specification of the Internet Open Trading Protocol. - Chun Ouyang 001; Lars Michael Kristensen; Jonathan Billington (EC-Web, 2002)

A Formal Service Specification for IIOP based on ISO/IEC 14752. - Abhishek Singh; Jonathan Billington (FMOODS, 2002)

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)

Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. - Laure Petrucci; Jonathan Billington; Lars Michael Kristensen; Zahid H. Qureshi (ACSD, 2003)

The Petri Net Markup Language: Concepts, Technology, and Tools. - Jonathan Billington; Søren Christensen; Kees M. van Hee; Ekkart Kindler; Olaf Kummer; Laure Petrucci; Reinier Post; Christian Stehno; Michael Weber 003 (ICATPN, 2003)

Analysing Properties of the Resource Reservation Protocol. - María E. Villapol; Jonathan Billington (ICATPN, 2003)

On Verifying the Internet Open Trading Protocol. - Chun Ouyang 001; Jonathan Billington (EC-Web, 2003)

How Stop and Wait Protocols Can Fail over the Internet. - Jonathan Billington; Guy Edward Gallasch (FORTE, 2003)

New Developments in Closed-Form Computation for GSPN Aggregation. - Jörn Freiheit; Jonathan Billington (ICFEM, 2003)

A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. - María E. Villapol; Jonathan Billington (CLEI Electron. J., 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)

Reducing Parametric Automata: A Multimedia Protocol Service Case Study. - Lin Liu 003; Jonathan Billington (ATVA, 2004)

Using TimeNET to Evaluate Operational Planning Processes. - Jörn Freiheit; Jonathan Billington (Business Process Management, 2004)

Formal Analysis of the Internet Open Trading Protocol. - Chun Ouyang 001; Jonathan Billington (FORTE Workshops, 2004)

Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. - Lin Liu 003; Jonathan Billington (MMM, 2004)

An improved formal specification of the Internet Open Trading Pprotocol. - Chun Ouyang 001; Jonathan Billington (SAC, 2004)

Exploiting equivalence reduction and the sweep-line method for detecting terminal states. - Jonathan Billington; Guy Edward Gallasch; Lars Michael Kristensen; Thomas Mailund (IEEE Trans. Syst. Man Cybern. Part A, 2004)

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

Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. - Guy Edward Gallasch; Jonathan Billington (ATVA, 2005)

Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. - Somsak Vanit-Anunchai; Jonathan Billington; Tul Kongprakaiwoot (FORTE, 2005)

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

Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. - Jonathan Billington; Guy Edward Gallasch; Laure Petrucci (Nord. J. Comput., 2005)

Effect of Sequence Number Wrap on DCCP Connection Establishment. - Somsak Vanit-Anunchai; Jonathan Billington (MASCOTS, 2006)

A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. - Guy Edward Gallasch; Jonathan Billington (SPIN, 2006)

Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. - Nimrod Lilith; Jonathan Billington; Jörn Freiheit (VALUETOOLS, 2006)

Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. - Somsak Vanit-Anunchai; Jonathan Billington (ICATPN, 2007)

Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. - Lin Liu 003; Jonathan Billington (PDCAT, 2007)

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)

Checking safety properties on-the-fly with the sweep-line method. - Guy Edward Gallasch; Jonathan Billington; Somsak Vanit-Anunchai; Lars Michael Kristensen (Int. J. Softw. Tools Technol. Transf., 2007)

Verification of the Capability Exchange Signalling protocol. - Lin Liu 003; Jonathan Billington (Int. J. Softw. Tools Technol. Transf., 2007)

Parametric Language Analysis of the Class of Stop-and-Wait Protocols. - Guy Edward Gallasch; Jonathan Billington (Petri Nets, 2008)

Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. - Jonathan Billington; Amar Kumar Gupta; Guy Edward Gallasch (FORTE, 2008)

An investigation of credit-based flow control protocols. - Jonathan Billington; Smit Saboo (SimuTools, 2008)

Modelling personnel within a defence logistics maintenance process. - Guy Edward Gallasch; Benjamin Francis; Christopher Moon; Jonathan Billington (SimuTools, 2008)

Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. - Jonathan Billington; Somsak Vanit-Anunchai (Fundam. Informaticae, 2008)

Modelling defence logistics networks. - Guy Edward Gallasch; Nimrod Lilith; Jonathan Billington; Lin Zhang; Axel Bender; Benjamin Francis (Int. J. Softw. Tools Technol. Transf., 2008)

Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. - Somsak Vanit-Anunchai; Jonathan Billington; Guy Edward Gallasch (Int. J. Softw. Tools Technol. Transf., 2008)

Recursive Parametric Automata and epsilon-Removal. - Lin Liu 003; Jonathan Billington (FMOODS/FORTE, 2009)

Parameterised Coloured Petri Net Channel Models. - Jonathan Billington; Somsak Vanit-Anunchai; Guy Edward Gallasch (Trans. Petri Nets Other Model. Concurr., 2009)

On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol. - Jonathan Billington; Cong Yuan (Trans. Petri Nets Other Model. Concurr., 2009)

A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. - Guy Edward Gallasch; Jonathan Billington (ATVA, 2010)

Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. - Jonathan Billington; Guy Edward Gallasch (ICFEM, 2010)

On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet. - Jonathan Billington; Guy Edward Gallasch (Petri Nets, 2011)

An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol. - Sonya Arnold; Jonathan Billington (Trans. Petri Nets Other Model. Concurr., 2012)