Autor der Publikation

Choreographies and Inter-Process Correlation

, , , , , , , und . Integrating Process-Oriented and Event-Based Systems, Volume 6 von Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (Januar 2017)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

System Design Using Petri Nets.. Requirements Engineering, Volume 74 von Informatik-Fachberichte, Seite 29-41. Springer, (1983)The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed.. Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 589-595. Springer, (2008)An ASM-Characterization of a Class of Distributed Algorithms., und . Rigorous Methods for Software Construction and Analysis, Volume 5115 von Lecture Notes in Computer Science, Seite 50-64. Springer, (2009)Topic Introduction., , , und . Euro-Par, Volume 2790 von Lecture Notes in Computer Science, Seite 623. Springer, (2003)Place or Transition Petri Nets., und . Petri Nets, Volume 1491 von Lecture Notes in Computer Science, Seite 122-173. Springer, (1996)Informal Introduction to Petri Nets., und . Petri Nets, Volume 1491 von Lecture Notes in Computer Science, Seite 1-11. Springer, (1996)Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.. ICALP, Volume 172 von Lecture Notes in Computer Science, Seite 403-413. Springer, (1984)Schemes for Nonsequential Processing Systems.. MFCS, Volume 88 von Lecture Notes in Computer Science, Seite 515-527. Springer, (1980)Towards an ASM Thesis for Unconventional Algorithms.. Abstract State Machines, Volume 1912 von Lecture Notes in Computer Science, Seite 112-130. Springer, (2000)The 9th advanced summer school on service-oriented computing, June 28-July 3, Hersonissos, Crete, Greece.. Computing, 99 (2): 127 (2017)