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), pp. 74–95
gennaio 2007
parole chiave   Web Services, Orchestration, Process Algebra
rivista o collana
book The Journal of Logic and Algebraic Programming (JLAP)

A core calculus for correlation in orchestration languages
— stato
pubblicato
— tipo
articolo in rivista
chi
— autori
Mirko Viroli
— curatori
Mario Bravetti  •  Gianluigi Zavattaro
dove e quando
— data di pubblicazione
gennaio 2007
— rivista
The Journal of Logic and Algebraic Programming
— volume n.
70
— numero
1
— pagine
74–95
— numero di pagine
22
— editore
Elsevier Science B.V.
— DOI
10.1016/j.jlap.2006.05.006
ISBN & ISSN
— ISSN
1567-8326
APICe
— rivista o collana
The Journal of Logic and Algebraic Programming
note
— nota
Special Issue on Web Services and Formal Methods