Jonathan Billington

Sonya Arnold, Jonathan Billington: An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol. T. Petri Nets and Other Models of Concurrency 6: 226-250 (2012)

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

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

Jonathan Billington, Guy Edward Gallasch: Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. ICFEM 2010: 420-435

Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch: Parameterised Coloured Petri Net Channel Models. T. Petri Nets and Other Models of Concurrency 3: 71-97 (2009)

Jonathan Billington, Cong Yuan: On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol. T. Petri Nets and Other Models of Concurrency 3: 98-126 (2009)

Lin Liu, Jonathan Billington: Recursive Parametric Automata and epsilon-Removal. FMOODS/FORTE 2009: 90-105

Kurt Jensen, Jonathan Billington, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency III. Lecture Notes in Computer Science 5800, Springer 2009, isbn 978-3-642-04854-8

Jonathan Billington, Somsak Vanit-Anunchai: Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. Fundam. Inform. 88(3): 357-385 (2008)

Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch: Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. STTT 10(1): 29-56 (2008)

Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis: Modelling defence logistics networks. STTT 10(1): 75-93 (2008)

Guy Edward Gallasch, Jonathan Billington: Parametric Language Analysis of the Class of Stop-and-Wait Protocols. Petri Nets 2008: 191-210

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

Guy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington: Modelling personnel within a defence logistics maintenance process. SimuTools 2008: 18

Jonathan Billington, Smit Saboo: An investigation of credit-based flow control protocols. SimuTools 2008: 34

Jonathan Billington, Zhenhua Duan, Maciej Koutny (Eds.): 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. IEEE 2008, isbn 978-1-4244-1838-1

Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (Eds.): Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science 5100, Springer 2008, isbn 978-3-540-89286-1

Jonathan Billington, Bing Han: Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties. Fundam. Inform. 80(1-3): 49-74 (2007)

Jonathan Billington, Bing Han: Modelling and analysing the functional behaviour of TCP's connection management procedures. STTT 9(3-4): 269-304 (2007)

Lin Liu, Jonathan Billington: Verification of the Capability Exchange Signalling protocol. STTT 9(3-4): 305-326 (2007)

Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen: Checking safety properties on-the-fly with the sweep-line method. STTT 9(3-4): 371-391 (2007)

Somsak Vanit-Anunchai, Jonathan Billington: Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. ICATPN 2007: 423-444

Lin Liu, Jonathan Billington: Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. PDCAT 2007: 480-487

Somsak Vanit-Anunchai, Jonathan Billington: Effect of Sequence Number Wrap on DCCP Connection Establishment. MASCOTS 2006: 345-354

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

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

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

Bing Han, Jonathan Billington: Termination Properties of TCP's Connection Management Procedures. ICATPN 2005: 228-249

Guy Edward Gallasch, Jonathan Billington: Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. ATVA 2005: 457-473

Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot: Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. FORTE 2005: 143-158

Guy Edward Gallasch, Bing Han, Jonathan Billington: Sweep-Line Analysis of TCP Connection Management. ICFEM 2005: 156-172

Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund: Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(1): 23-37 (2004)

Jonathan Billington, Bing Han: Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels. ACSC 2004: 31-39

Lin Liu, Jonathan Billington: Reducing Parametric Automata: A Multimedia Protocol Service Case Study. ATVA 2004: 483-486

Jörn Freiheit, Jonathan Billington: Using TimeNET to Evaluate Operational Planning Processes. Business Process Management 2004: 17-32

Chun Ouyang, Jonathan Billington: Formal Analysis of the Internet Open Trading Protocol. FORTE Workshops 2004: 1-15

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

Chun Ouyang, Jonathan Billington: An improved formal specification of the Internet Open Trading Pprotocol. SAC 2004: 779-783

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

Jonathan Billington, Guy Edward Gallasch, Bing Han: A Coloured Petri Net Approach to Protocol Verification. Lectures on Concurrency and Petri Nets 2003: 210-290

Jonathan Billington, Bing Han: On Defining the Service Provided by TCP. ACSC 2003: 129-138

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

María E. Villapol, Jonathan Billington: Analysing Properties of the Resource Reservation Protocol. ICATPN 2003: 377-396

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

Chun Ouyang, Jonathan Billington: On Verifying the Internet Open Trading Protocol. EC-Web 2003: 292-302

Jonathan Billington, Guy Edward Gallasch: How Stop and Wait Protocols Can Fail over the Internet. FORTE 2003: 209-223

Jörn Freiheit, Jonathan Billington: New Developments in Closed-Form Computation for GSPN Aggregation. ICFEM 2003: 471-490

Steven Gordon, Lars Michael Kristensen, Jonathan Billington: Verification of a Revised WAP Wireless Transaction Protocol. ICATPN 2002: 182-202

Lin Liu, Jonathan Billington: Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. ICATPN 2002: 273-293

Chun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373

Chun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002: 377-387

Abhishek Singh, Jonathan Billington: A Formal Service Specification for IIOP based on ISO/IEC 14752. FMOODS 2002: 111-125

Steven Gordon, Jonathan Billington: Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. ICATPN 2000: 207-226

Andrew Tokmakoff, Jonathan Billington: An Approach to the Analysis of Interworking Traders. ICATPN 1999: 127-146

Steven Gordon, Jonathan Billington: Modelling the WAP Transaction Service using Coloured Petri Nets. MDA 1999: 109-118

Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (Eds.): Application of Petri Nets to Communication Networks, Advances in Petri Nets. Lecture Notes in Computer Science 1605, Springer 1999, isbn 3-540-65870-X

Steven Gordon, Jonathan Billington: Analysing a Missile Simulator with Coloured Petri Nets. STTT 2(2): 144-159 (1998)

Andrew Tokmakoff, Jonathan Billington: Coloured Petri net modelling of the ODP Trader for use in resource discovery. Computer Communications 19(1): 39-48 (1996)

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

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

Jonathan Billington, Wolfgang Reisig (Eds.): Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Lecture Notes in Computer Science 1091, Springer 1996, isbn 3-540-61363-3

Jonathan Billington: ISO Standards in Software Engineering. Software Quality and Productivity 1994: 189-192

Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker: Tool Demonstration: FORSEE. FORTE 1991: 457-461

Jonathan Billington: Extensions to Coloured Petri Nets. PNPM 1989: 61-70

Jonathan Billington: Many-Sorted High-Level Nets. PNPM 1989: 166-179

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): 301-316 (1988)

Jonathan Billington: A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. Specification and Verification of Concurrent Systems 1988: 526-556

Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham: A Methodology for Protocol Engineering. ICCC 1986: 525-530

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: 435-452

Jonathan Billington: On Specifying Performance Aspects of Protocol Services. PNPM 1985: 288-295

Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman: Automated protocol verification. PSTV 1985: 59-70

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

Jonathan Billington: Specification of the Transport Service Using Numerical Petri Nets. PSTV 1982: 77-100