22 search results - page 1 / 5 » Executable Semantics for Compensating CSP |
155
click to vote
EPEW
2005
Springer
16 years 15 days ago
2005
Springer
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 compensatio...
201
Voted
MEMOCODE
2003
IEEE
16 years 7 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
211
Voted
BIRTHDAY
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
192
Voted
COORDINATION
2004
Springer
16 years 11 days ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
238
Voted
BIRTHDAY
2004
Springer
16 years 11 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...