( en | de | ru )

 

Disambiguierung von "Billington, Jonathan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tool Demonstration: FORSEE.

, , , und . FORTE, Volume C-2 von IFIP Transactions, Seite 457-461. North-Holland, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jonathan Roericht

Jonathan Burmeister

Jonathan Rother

Jonathan Vöglein

Jonathan Dörr

 

Weitere Publikationen von Autoren mit dem selben Namen

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