Behavioural Equivalences for Co-operating Transactions (Invited Paper).
Matthew HennessyPublished in: CONCUR (2015)
Keyphrases
- invited paper
- connected components
- database
- relational algebra
- transactional data
- transaction management
- databases
- concurrency control
- credit card
- distributed database systems
- transaction processing
- collective decision making
- database transactions
- transaction data
- agent model
- information technology
- database systems
- website