A core calculus for correlation in orchestration languages
From MaRDI portal
Publication:861302
DOI10.1016/J.JLAP.2006.05.006zbMATH Open1178.68051DBLPjournals/jlp/Viroli07OpenAlexW2053557082WikidataQ58194522 ScholiaQ58194522MaRDI QIDQ861302FDOQ861302
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
Recommendations
- Towards a formal foundation to orchestration languages
- Automata, Languages and Programming
- A calculus of coroutines
- A Calculus for Orchestration of Web Services
- Oracle Semantics for Concurrent Separation Logic
- Fundamental Approaches to Software Engineering
- A Language for Task Orchestration and Its Semantic Properties
- Orchestration combinators in Apla+ language
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A syntactic approach to type soundness
- Mobile ambients
- The origins of structural operational semantics
- Coordination Models and Languages
- A calculus for long-running transactions.
- Towards a formal foundation to orchestration languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fundamental Approaches to Software Engineering
Cited In (9)
- Session types for safe web service orchestration
- Behaviour, Interaction and Dynamics
- C WS: A Timed Service-Oriented Calculus
- A pi-calculus based semantics for WS-BPEL
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- A Calculus for Orchestration of Web Services
- An Observational Model for Transactional Calculus of Services Orchestration
- Engineering a BPEL orchestration engine as a multi-agent system
- Prototyping concurrent systems with agents and artifacts: framework and core calculus
Uses Software
This page was built for publication: A core calculus for correlation in orchestration languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861302)
