Skip to Content

A core calculus for correlation in orchestration languages

   Info_icon.svg       Eye_icon.svg       BibTeX_logo.svg   
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
Journal_icon.svg 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
local files
cover  •  card
APICe
— journal or series
The Journal of Logic and Algebraic Programming
notes
— note
Special Issue on Web Services and Formal Methods