( en | de | ru )

 

Disambiguierung von "Puhlmann, Frank"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Look Around the Corner: The Pi-Calculus.

, und . Trans. Petri Nets Other Model. Concurr., (2009)

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.

Frank Puhlmann

Arno Puhlmann

Nikolai Puhlmann

Helga Puhlmann

Jürgen Puhlmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Using the π-Calculus for Formalizing Workflow Patterns, und . (2005)A Look Around the Corner: The Pi-Calculus., und . Trans. Petri Nets Other Model. Concurr., (2009)Service Referrals in BPEL-based Choreographies, , und . Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007), Seite 25--30. Leicester, University of Leicester, (Juni 2007)A Tool Chain for Lazy Soundness.. BPM Demos, Volume 203 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)Soundness Verification of Business Processes Specified in the Pi-Calculus.. OTM Conferences (1), Volume 4803 von Lecture Notes in Computer Science, Seite 6-23. Springer, (2007)Why Do We Actually Need the Pi-Calculus for Business Process Management?. BIS, Volume P-85 von LNI, Seite 77-89. GI, (2006)Variability Mechanisms in E-Business Process Families., und . BIS, Volume P-85 von LNI, Seite 583-601. GI, (2006)Enterprise IoT: Strategies and Best Practices for Connected Products and Services, , , und . O'Reilly, Beijing, (2015)A Unified Formal Foundation for Service Oriented Architectures.. EMISA, Volume P-95 von LNI, Seite 7-19. GI, (2006)Extending BPMN for Modeling Complex Choreographies., und . OTM Conferences (1), Volume 4803 von Lecture Notes in Computer Science, Seite 24-40. Springer, (2007)