1. On bisimulations for the asynchronous pi-calculus;Amadio;Theor. Comput. Sci.,1998
2. Secure service orchestration;Bartoletti,2007
3. Scc: A service centered calculus;Boreale,2006
4. The fc2tools set;Bouali,1996
5. Business process maturity model (bpmm). http://www.omg.org/spec/BPMM/.