A core calculus for correlation in orchestration languages

@article{orchestration-jlap70,
   apice = {OrchestrationJLAP70},
   author = {Viroli, Mirko},
   doi = {doi:10.1016/j.jlap.2006.05.006},
   editor = {Bravetti, Mario and Zavattaro, Gianluigi},
   issn = {1567-8326},
   journal = {The 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
}