Theoretical foundations for compensations in flow composition languages
DOI10.1145/1040305.1040323zbMATH Open1369.68070OpenAlexW1974168649MaRDI QIDQ5276147FDOQ5276147
Authors: Roberto Bruni, Hernan Melgratti, Ugo Montanari 
Publication date: 14 July 2017
Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1040305.1040323
Recommendations
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (25)
- Algebraic Semantics for Compensable Transactions
- On the Expressive Power of Primitives for Compensation Handling
- A WSDL-based type system for asynchronous WS-BPEL processes
- Verifying Compensating Transactions
- Towards a taxonomy for reversible computation approaches
- Safer asynchronous runtime monitoring using compensations
- Event-Based Service Coordination
- Service oriented computing from a process algebraic perspective
- Challenges in the Specification of Full Contracts
- On the analysis of compensation correctness
- Coordination Models and Languages
- Business Process Modeling for Organizational Knowledge Management
- Compensation by design
- CONCUR 2005 – Concurrency Theory
- A pi-calculus based semantics for WS-BPEL
- A Language for Reliable Service Composition
- Compensable transactions
- Failure-divergence semantics and refinement of long running transactions
- Privacy preserving minimal observability for composite transactional services
- An Observational Model for Transactional Calculus of Services Orchestration
- Fundamental Approaches to Software Engineering
- A new strategy for distributed compensations with interruption in long-running transactions
- On GS-monoidal theories for graphs with nesting
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
- Transactional process management over component systems (Thesis, ETH Zürich 2000)
This page was built for publication: Theoretical foundations for compensations in flow composition languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5276147)
