Pages that link to "Item:Q3525093"
From MaRDI portal
The following pages link to Algebraic Semantics for Compensable Transactions (Q3525093):
Displaying 5 items.
- Compensation by design (Q736799) (← links)
- External Transaction Logic with Automatic Compensations (Q2851973) (← links)
- (Q3148046) (← links)
- High-level small-step operational semantics for transactions (Q3189825) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)