A core calculus for correlation in orchestration languages


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Mirko Viroli

Journal of Logic and Algebraic Programming 70(1), pages 7495
January 2007

(keywords) Web Services, Orchestration, Process Algebra

Special Issue on Web Services and Formal Methods

Tags:

Publication

— authors

— editors

Mario Bravetti, Gianluigi Zavattaro

— status

published

— sort

article in journal

— publication date

January 2007

— journal

Journal of Logic and Algebraic Programming

— volume

70

— issue

1

— pages

7495

identifiers

— DOI

doi:10.1016/j.jlap.2006.05.006

— print ISSN

1567-8326

notes

— note

Special Issue on Web Services and Formal Methods

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY