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

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

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

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

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

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

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

Transactions on Petri Nets and Other Models of Concurrency III (Springer, 2009)

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

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

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

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

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

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

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

8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008 (IEEE, 2008)

Transactions on Petri Nets and Other Models of Concurrency I (Springer, 2008)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. - Villapol, María E.; Billington, Jonathan (CLEI Electron. J., 2003)

A Coloured Petri Net Approach to Protocol Verification. - Billington, Jonathan; Gallasch, Guy Edward; Han, Bing (2003)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Application of Petri Nets to Communication Networks, Advances in Petri Nets (Springer, 1999)

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

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

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

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

Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings (Springer, 1996)

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

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

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

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

PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. - Billington, Jonathan; Wheeler, Geoffrey R.; Wilbur-Ham, Michael C. (IEEE Trans. Software Eng., 1988)

A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. - Billington, Jonathan (1988)

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

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

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

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

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

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