Author of the publication

Extending BPMN for Modeling Complex Choreographies.

, and . OTM Conferences (1), volume 4803 of Lecture Notes in Computer Science, page 24-40. Springer, (2007)

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