An Observational Model for Transactional Calculus of Services Orchestration

DOI10.1007/978-3-540-85762-4_14zbMath1161.68624OpenAlexW1524867986MaRDI QIDQ5505603

Jing Li, Jifeng He, Huibiao Zhu

Publication date: 27 January 2009

Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_14

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• COWS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic Semantics for Compensable Transactions
• Theoretical foundations for compensations in flow composition languages
• Communicating Sequential Processes. The First 25 Years
• A Calculus for Orchestration of Web Services
• CONCUR 2005 – Concurrency Theory
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: An Observational Model for Transactional Calculus of Services Orchestration