The following pages link to An overview of transaction logic (Q1341707):
Displaying 11 items.
- Specification and verification of data-driven Web applications (Q878758) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← links)
- Principles of transaction processing (Q2785807) (← links)
- Formalizing Goal Serializability for Evaluation of Planning Features (Q2835895) (← links)
- Transaction logic with defaults and argumentation theories (Q2909156) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← links)
- A Logical Approach to Dynamic Role-Based Access Control (Q3534661) (← links)
- Transition Logic Revisited (Q3535602) (← links)
- (Q4400802) (← links)
- Combining transactions and automatic repairs (Q4612416) (← links)
- Regular database update logics (Q5940934) (← links)
