( en | de | ru )

 

Disambiguation of "Billington, Jonathan"

Author of the publication

copydeleteadd this publication to your clipboard
How Stop and Wait Protocols Can Fail over the Internet.

, and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 209-223. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jonathan Roth

Jonathan Cavanagh

Jonathan Burmeister

Jonathan Dörr

Jonathan Rother

 

Other publications of authors with the same name

A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.. Specification and Verification of Concurrent Systems, page 526-556. Springer, (1988)Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network., and . ICFEM, volume 6447 of Lecture Notes in Computer Science, page 420-435. Springer, (2010)Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN., , and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 153-171. Springer, (1996)Verification of a Revised WAP Wireless Transaction Protocol., , and . ICATPN, volume 2360 of Lecture Notes in Computer Science, page 182-202. Springer, (2002)A Formal and Executable Specification of the Internet Open Trading Protocol., , and . EC-Web, volume 2455 of Lecture Notes in Computer Science, page 377-387. Springer, (2002)Reducing Parametric Automata: A Multimedia Protocol Service Case Study., and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 483-486. Springer, (2004)Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol., , and . FORTE, volume 3731 of Lecture Notes in Computer Science, page 143-158. Springer, (2005)On Defining the Service Provided by TCP., and . ACSC, volume 16 of CRPIT, page 129-138. Australian Computer Society, (2003)Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels., and . ACSC, volume 26 of CRPIT, page 31-39. Australian Computer Society, (2004)On Specifying Performance Aspects of Protocol Services.. PNPM, page 288-295. IEEE Computer Society, (1985)