Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
Publication
A core calculus for correlation in orchestration languages
A core calculus for correlation in orchestration languages
Mirko Viroli
Journal of Logic and Algebraic Programming
70(1), pages 74
95
January 2007
keywords
Web Services, Orchestration, Process Algebra