A core calculus for correlation in orchestration languages


Mirko Viroli

Journal of Logic and Algebraic Programming 70(1), pp. 7495, gennaio 2007
Elsevier Science B.V.
Mario Bravetti, Gianluigi Zavattaro (a cura di)
Special Issue on Web Services and Formal Methods

(keywords) Web Services, Orchestration, Process Algebra
 @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

Tags:
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY