( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
New Developments in Closed-Form Computation for GSPN Aggregation.

, и . ICFEM, том 2885 из Lecture Notes in Computer Science, стр. 471-490. 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.

Jonathan Roth

Jonathan Cavanagh

Jonathan Burmeister

Jonathan Dörr

Jonathan Rother

 

Другие публикации лиц с тем же именем

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