Skip to Content

A core calculus for correlation in orchestration languages

   page       BibTeX_logo.png       attach   
Mirko Viroli
The Journal of Logic and Algebraic Programming 70(1), pages 74–95
January 2007
keywords   Web Services, Orchestration, Process Algebra
journal or series
book The Journal of Logic and Algebraic Programming (JLAP)

A core calculus for correlation in orchestration languages
— status
published
— sort
article in journal
who
— authors
Mirko Viroli
— editors
Mario Bravetti  •  Gianluigi Zavattaro
where & when
— publication date
January 2007
— journal
The Journal of Logic and Algebraic Programming
— volume no.
70
— issue
1
— pages
74–95
— number of pages
22
— publisher
Elsevier Science B.V.
— DOI
10.1016/j.jlap.2006.05.006
ISBN & ISSN
— ISSN
1567-8326
APICe
— journal or series
The Journal of Logic and Algebraic Programming
notes
— note
Special Issue on Web Services and Formal Methods