Author of the publication

A Methodology for Protocol Engineering.

, , , and . ICCC, page 525-530. International Council for Computer Communication / Elsevier, (1986)

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.

 

Other publications of authors with the same name

A Formal Service Specification for IIOP based on ISO/IEC 14752., and . FMOODS, volume 209 of IFIP Conference Proceedings, page 111-125. Kluwer, (2002)A Methodology for Protocol Engineering., , , and . ICCC, page 525-530. International Council for Computer Communication / Elsevier, (1986)Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets.. Petri Nets (2), volume 1492 of Lecture Notes in Computer Science, page 293-330. Springer, (1996)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)Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets., , and . FORTE, volume 5048 of Lecture Notes in Computer Science, page 169-184. Springer, (2008)Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification., and . ICATPN, volume 2360 of Lecture Notes in Computer Science, page 273-293. Springer, (2002)Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets., and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 207-226. Springer, (2000)Extensions to Coloured Petri Nets.. PNPM, page 61-70. IEEE Computer Society, (1989)On Specifying Performance Aspects of Protocol Services.. PNPM, page 288-295. IEEE Computer Society, (1985)Specification of the Transport Service Using Numerical Petri Nets.. PSTV, page 77-100. North-Holland, (1982)