Publications » Class » OrchestrationJLAP70

A core calculus for correlation in orchestration languages

Mirko Viroli
Keywords: Web Services, Orchestration, Process Algebra
Journal of Logic and Algebraic Programming 70(1), pages 74--95, jan 2007.
Mario Bravetti, Gianluigi Zavattaro (eds.), Elsevier Science B.V.
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}