The following pages link to An overview of transaction logic (Q1341707):
Displaying 6 items.
- Specification and verification of data-driven Web applications (Q878758) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← links)
- Formalizing Goal Serializability for Evaluation of Planning Features (Q2835895) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← links)
- A Logical Approach to Dynamic Role-Based Access Control (Q3534661) (← links)
- Regular database update logics (Q5940934) (← links)
