Mirko Viroli

(keywords) Web Services, Orchestration, Process Algebra
Journal of Logic and Algebraic Programming 70(1), pages 7495, 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}

Tags:
    

Publication

A core calculus for correlation in orchestration languages

— status

published  

— authors

Mirko Viroli

— editors

Mario Bravetti, Gianluigi Zavattaro

URLs & IDs

— 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-2021 APICe@DISI Research Group - PRIVACY