Author of the publication

Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.

. ICALP, volume 172 of Lecture Notes in Computer Science, page 403-413. Springer, (1984)

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

Towards an ASM Thesis for Unconventional Algorithms.. Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, page 112-130. Springer, (2000)Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.. ICALP, volume 172 of Lecture Notes in Computer Science, page 403-413. Springer, (1984)Schemes for Nonsequential Processing Systems.. MFCS, volume 88 of Lecture Notes in Computer Science, page 515-527. Springer, (1980)System Design Using Petri Nets.. Requirements Engineering, volume 74 of Informatik-Fachberichte, page 29-41. Springer, (1983)Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen., , and . Inform. Spektrum, 7 (1): 20-27 (1984)The 9th advanced summer school on service-oriented computing, June 28-July 3, Hersonissos, Crete, Greece.. Computing, 99 (2): 127 (2017)Konzepte der Petrinetze., and . Inform. Spektrum, 37 (3): 172-190 (2014)Place or Transition Petri Nets., and . Petri Nets, volume 1491 of Lecture Notes in Computer Science, page 122-173. Springer, (1996)Informal Introduction to Petri Nets., and . Petri Nets, volume 1491 of Lecture Notes in Computer Science, page 1-11. Springer, (1996)Topic Introduction., , , and . Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 623. Springer, (2003)