Sciweavers

Share
EPEW
2005
Springer

Executable Semantics for Compensating CSP

9 years 6 months ago
Executable Semantics for Compensating CSP
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensations. We present a simple operational semantics for Compensating CSP and outline an encoding of this semantics in Prolog. This provides a basis for implementation and model checking of the language.
Michael J. Butler, Shamim Ripon
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EPEW
Authors Michael J. Butler, Shamim Ripon
Comments (0)
books