default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJonathan Billington
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
[j16]Sonya Arnold, Jonathan Billington:
An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol. Trans. Petri Nets Other Model. Concurr. 6: 226-250 (2012)- 2011
- [c53]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 - 2010
- [c52]Guy Edward Gallasch, Jonathan Billington:
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. ATVA 2010: 143-157 - [c51]Jonathan Billington, Guy Edward Gallasch:
Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. ICFEM 2010: 420-435
2000 – 2009
- 2009
- [j15]Jonathan Billington, Somsak Vanit-Anunchai
, Guy Edward Gallasch:
Parameterised Coloured Petri Net Channel Models. Trans. Petri Nets Other Model. Concurr. 3: 71-97 (2009) - [j14]Jonathan Billington, Cong Yuan:
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol. Trans. Petri Nets Other Model. Concurr. 3: 98-126 (2009) - [c50]Lin Liu, Jonathan Billington:
Recursive Parametric Automata and epsilon-Removal. FMOODS/FORTE 2009: 90-105 - [e5]Kurt Jensen, Jonathan Billington, Maciej Koutny:
Transactions on Petri Nets and Other Models of Concurrency III. Lecture Notes in Computer Science 5800, Springer 2009, ISBN 978-3-642-04854-8 [contents] - 2008
- [j13]Jonathan Billington, Somsak Vanit-Anunchai:
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. Fundam. Informaticae 88(3): 357-385 (2008) - [j12]Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch:
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. Int. J. Softw. Tools Technol. Transf. 10(1): 29-56 (2008) - [j11]Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis:
Modelling defence logistics networks. Int. J. Softw. Tools Technol. Transf. 10(1): 75-93 (2008) - [c49]Guy Edward Gallasch, Jonathan Billington:
Parametric Language Analysis of the Class of Stop-and-Wait Protocols. Petri Nets 2008: 191-210 - [c48]Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch:
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. FORTE 2008: 169-184 - [c47]Guy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington:
Modelling personnel within a defence logistics maintenance process. SimuTools 2008: 18 - [c46]Jonathan Billington, Smit Saboo:
An investigation of credit-based flow control protocols. SimuTools 2008: 34 - [e4]Jonathan Billington, Zhenhua Duan, Maciej Koutny:
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 [contents] - [e3]Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington:
Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science 5100, Springer 2008, ISBN 978-3-540-89286-1 [contents] - 2007
- [j10]Jonathan Billington, Bing Han:
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties. Fundam. Informaticae 80(1-3): 49-74 (2007) - [j9]Jonathan Billington, Bing Han:
Modelling and analysing the functional behaviour of TCP's connection management procedures. Int. J. Softw. Tools Technol. Transf. 9(3-4): 269-304 (2007) - [j8]Lin Liu, Jonathan Billington:
Verification of the Capability Exchange Signalling protocol. Int. J. Softw. Tools Technol. Transf. 9(3-4): 305-326 (2007) - [j7]Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen:
Checking safety properties on-the-fly with the sweep-line method. Int. J. Softw. Tools Technol. Transf. 9(3-4): 371-391 (2007) - [c45]Somsak Vanit-Anunchai, Jonathan Billington:
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. ICATPN 2007: 423-444 - [c44]Lin Liu, Jonathan Billington:
Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. PDCAT 2007: 480-487 - 2006
- [c43]Somsak Vanit-Anunchai, Jonathan Billington:
Effect of Sequence Number Wrap on DCCP Connection Establishment. MASCOTS 2006: 345-354 - [c42]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 - [c41]Nimrod Lilith, Jonathan Billington, Jörn Freiheit:
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. VALUETOOLS 2006: 32 - 2005
- [j6]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) - [c40]Bing Han, Jonathan Billington:
Termination Properties of TCP's Connection Management Procedures. ICATPN 2005: 228-249 - [c39]Guy Edward Gallasch, Jonathan Billington:
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. ATVA 2005: 457-473 - [c38]Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. FORTE 2005: 143-158 - [c37]Guy Edward Gallasch, Bing Han, Jonathan Billington:
Sweep-Line Analysis of TCP Connection Management. ICFEM 2005: 156-172 - 2004
- [j5]Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund:
Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man Cybern. Part A 34(1): 23-37 (2004) - [c36]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 - [c35]Lin Liu, Jonathan Billington:
Reducing Parametric Automata: A Multimedia Protocol Service Case Study. ATVA 2004: 483-486 - [c34]Jörn Freiheit, Jonathan Billington:
Using TimeNET to Evaluate Operational Planning Processes. Business Process Management 2004: 17-32 - [c33]Chun Ouyang, Jonathan Billington:
Formal Analysis of the Internet Open Trading Protocol. FORTE Workshops 2004: 1-15 - [c32]Lin Liu, Jonathan Billington:
Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. MMM 2004: 323- - [c31]Chun Ouyang, Jonathan Billington:
An improved formal specification of the Internet Open Trading Pprotocol. SAC 2004: 779-783 - 2003
- [j4]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) - [c30]Jonathan Billington, Guy Edward Gallasch, Bing Han:
A Coloured Petri Net Approach to Protocol Verification. Lectures on Concurrency and Petri Nets 2003: 210-290 - [c29]Jonathan Billington, Bing Han:
On Defining the Service Provided by TCP. ACSC 2003: 129-138 - [c28]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 - [c27]María E. Villapol, Jonathan Billington:
Analysing Properties of the Resource Reservation Protocol. ICATPN 2003: 377-396 - [c26]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 - [c25]Chun Ouyang, Jonathan Billington:
On Verifying the Internet Open Trading Protocol. EC-Web 2003: 292-302 - [c24]Jonathan Billington, Guy Edward Gallasch:
How Stop and Wait Protocols Can Fail over the Internet. FORTE 2003: 209-223 - [c23]Jörn Freiheit, Jonathan Billington:
New Developments in Closed-Form Computation for GSPN Aggregation. ICFEM 2003: 471-490 - 2002
- [c22]Steven Gordon, Lars Michael Kristensen, Jonathan Billington:
Verification of a Revised WAP Wireless Transaction Protocol. ICATPN 2002: 182-202 - [c21]Lin Liu, Jonathan Billington:
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. ICATPN 2002: 273-293 - [c20]Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373 - [c19]Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002: 377-387 - [c18]Abhishek Singh, Jonathan Billington:
A Formal Service Specification for IIOP based on ISO/IEC 14752. FMOODS 2002: 111-125 - 2000
- [c17]Steven Gordon, Jonathan Billington:
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. ICATPN 2000: 207-226
1990 – 1999
- 1999
- [c16]Andrew Tokmakoff, Jonathan Billington:
An Approach to the Analysis of Interworking Traders. ICATPN 1999: 127-146 - [c15]María E. Villapol, Jonathan Billington:
RSVP for LEO satellites. ICON 1999: 295-302 - [c14]Steven Gordon, Jonathan Billington:
Modelling the WAP Transaction Service using Coloured Petri Nets. MDA 1999: 109-118 - [e2]Jonathan Billington, Michel Diaz, Grzegorz Rozenberg:
Application of Petri Nets to Communication Networks, Advances in Petri Nets. Lecture Notes in Computer Science 1605, Springer 1999, ISBN 3-540-65870-X [contents] - 1998
- [j3]Steven Gordon, Jonathan Billington:
Analysing a Missile Simulator with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2(2): 144-159 (1998) - 1996
- [j2]Andrew Tokmakoff, Jonathan Billington:
Coloured Petri net modelling of the ODP Trader for use in resource discovery. Comput. Commun. 19(1): 39-48 (1996) - [c13]Jonathan Billington:
Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. Petri Nets (2) 1996: 293-330 - [c12]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 - [e1]Jonathan Billington, Wolfgang Reisig:
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 [contents] - 1994
- [c11]Jonathan Billington:
ISO Standards in Software Engineering. Software Quality and Productivity 1994: 189-192 - 1991
- [c10]Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker:
Tool Demonstration: FORSEE. FORTE 1991: 457-461
1980 – 1989
- 1989
- [c9]Jonathan Billington:
Extensions to Coloured Petri Nets. PNPM 1989: 61-70 - [c8]Jonathan Billington:
Many-Sorted High-Level Nets. PNPM 1989: 166-179 - 1988
- [j1]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) - [c7]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 - 1986
- [c6]Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham:
A Methodology for Protocol Engineering. ICCC 1986: 525-530 - 1985
- [c5]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 - [c4]Jonathan Billington:
On Specifying Performance Aspects of Protocol Services. PNPM 1985: 288-295 - [c3]Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman:
Automated protocol verification. PSTV 1985: 59-70 - 1983
- [c2]Jonathan Billington:
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. Protocol Specification, Testing, and Verification 1983: 173-185 - 1982
- [c1]Jonathan Billington:
Specification of the Transport Service Using Numerical Petri Nets. PSTV 1982: 77-100
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
