1. Process-Aware Information Systems: Bridging People and Software Through Process Technology;Dumas,2005
2. Verification of workflow nets;van der Aalst,1997
3. Formalizing languages for service oriented computing;Guidi,2007
4. A calculus for orchestration of web services;Lapadula,2007
5. Deadlock-freedom-by-design: multiparty asynchronous global programming;Carbone,2013