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

(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:

Publication

— authors

Mirko Viroli

— editors

Mario Bravetti, Gianluigi Zavattaro

— status

published

— sort

article in journal

Venue

— journal

Journal of Logic and Algebraic Programming

— volume

70

— issue

1

— pages

7495

— publication date

January 2007

Identifiers

— DOI

doi:10.1016/j.jlap.2006.05.006

— print ISSN

1567-8326

BibTeX

— BibTeX ID
OrchestrationJLAP70
— BibTeX category
article

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