A core calculus for correlation in orchestration languages
From MaRDI portal
Publication:861302
DOI10.1016/j.jlap.2006.05.006zbMath1178.68051OpenAlexW2053557082WikidataQ58194522 ScholiaQ58194522MaRDI QIDQ861302
Publication date: 9 January 2007
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2006.05.006
Related Items (4)
simpA: an agent-oriented approach for programming concurrent applications on top of Java ⋮ Session types for safe web service orchestration ⋮ Behaviour, Interaction and Dynamics ⋮ Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Uses Software
Cites Work
This page was built for publication: A core calculus for correlation in orchestration languages