06037800

j

06037800 Pugliese, Rosario Tiezzi, Francesco A calculus for orchestration of web services. J. Appl. Log. 10, No. 1, 2-31 (2012). 2012 Elsevier Science, Amsterdam EN service-oriented computing formal methods process calculi

doi:10.1016/j.jal.2011.11.002