The following pages link to (Q4518415):
Displaying 5 items.
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- An overview of transaction logic (Q1341707) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- Planning with regression analysis in transaction logic (Q2360182) (← links)
- Regular database update logics (Q5940934) (← links)
