A core calculus for correlation in orchestration languages

@article{OrchestrationJLAP70,
       Author = {Viroli, Mirko},
       Doi = {doi:10.1016/j.jlap.2006.05.006},
       Editor = {Bravetti, Mario and Zavattaro, Gianluigi},
       Issn = {1567-8326},
       Journal = {Journal of Logic and Algebraic Programming},
       Keywords = {Web Services, Orchestration, Process Algebra},
       Month = jan,
       Note = {Special Issue on Web Services and Formal Methods},
       Number = 1,
       Pages = {74--95},
       Publisher = {Elsevier Science B.V.},
       Title = {A core calculus for correlation in orchestration languages},
       Volume = 70,
       Year = 2007}