- APICe
- APICe Publications
- “Publication” Class
- A core calculus for correlation in orchestration languages
A core calculus for correlation in orchestration languages
Mirko Viroli
Journal of Logic and Algebraic Programming 70(1), pages 7495, January 2007
Elsevier Science B.V.
Mario Bravetti, Gianluigi Zavattaro (eds.)
Special Issue on Web Services and Formal Methods
@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}
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}