On the Expressive Power of Primitives for Compensation Handling

DOI10.1007/978-3-642-11957-6_20zbMath1260.68102OpenAlexW2164485904WikidataQ59846144 ScholiaQ59846144MaRDI QIDQ3558236

Carla Ferreira, Cátia Vaz, Ivan Lanese

Publication date: 4 May 2010

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions ⋮ On the Expressiveness of Symmetric Communication ⋮ Expressiveness of concurrent intensionality ⋮ Unnamed Item ⋮ On the analysis of compensation correctness ⋮ cJoin: Join with communicating transactions ⋮ Attribute-based transactions in service oriented computing ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ On primitives for compensation handling as adaptable processes ⋮ Processes against tests: on defining contextual equivalences

Uses Software

• COWS

This page was built for publication: On the Expressive Power of Primitives for Compensation Handling