A core calculus for correlation in orchestration languages

DOI10.1016/J.JLAP.2006.05.006zbMath1178.68051DBLPjournals/jlp/Viroli07OpenAlexW2053557082WikidataQ58194522 ScholiaQ58194522MaRDI QIDQ861302

Mirko Viroli

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

zbMATH Keywords

process algebrasweb servicesorchestration languages

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

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

• Featherweight Java

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A syntactic approach to type soundness
• Mobile ambients
• The origins of structural operational semantics
• Fundamental Approaches to Software Engineering
• Coordination Models and Languages
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: A core calculus for correlation in orchestration languages