Pages that link to "Item:Q2875115"
From MaRDI portal
The following pages link to Recovery within long-running transactions (Q2875115):
Displaying 6 items.
- On the analysis of compensation correctness (Q444367) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model (Q2744791) (← links)
- True concurrency in long-running transactions for digital ecosystems (Q2804190) (← links)
- A Type Theory for Robust Failure Handling in Distributed Systems (Q2827463) (← links)
- Combining transactions and automatic repairs (Q4612416) (← links)