PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ouyang, Chun"

Author of the publication

copydeleteadd this publication to your clipboard
On Verifying the Internet Open Trading Protocol.

, and . EC-Web, volume 2738 of Lecture Notes in Computer Science, page 292-302. Springer, (2003)

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.

Phi-Long Chung University of Stuttgart

 

Other publications of authors with the same name

Analysing And Improving A Recruitment Process: A Teaching Case For Developing Business Process Improvement Capabilities., and . PACIS, page 150. (2012)Realisation of Cost-Informed Process Support Within the YAWL Workflow Environment., , , and . AP-BPM, volume 219 of Lecture Notes in Business Information Processing, page 3-18. Springer, (2015)Untanglings: a novel approach to analyzing concurrent systems., , , and . Formal Asp. Comput., 27 (5-6): 753-788 (2015)Privacy Compliance Verification in Cryptographic Protocols., , and . Trans. Petri Nets and Other Models of Concurrency, (2012)WofBPEL: A Tool for Automated Analysis of BPEL Processes., , , , , and . ICSOC, volume 3826 of Lecture Notes in Computer Science, page 484-489. Springer, (2005)Service Interface Synthesis in Business Networks., , and . ICSOC Workshops, volume 8954 of Lecture Notes in Computer Science, page 44-55. Springer, (2014)A Formal Service Specification for the Internet Open Trading Protocol., , and . ICATPN, volume 2360 of Lecture Notes in Computer Science, page 352-373. Springer, (2002)Translating Standard Process Models to BPEL., , , and . CAiSE, volume 4001 of Lecture Notes in Computer Science, page 417-432. Springer, (2006)Operational Semantics of Aspects in Business Process Management., , and . OTM Workshops, volume 7567 of Lecture Notes in Computer Science, page 649-653. Springer, (2012)Toward Web-Scale Workflows for Film Production., , , , and . IEEE Internet Comput., 12 (5): 53-61 (2008)