Bisimulations for Communicating Transactions - (Extended Abstract).
Vasileios KoutavasCarlo SpaccasassiMatthew HennessyPublished in: FoSSaCS (2014)
Keyphrases
- extended abstract
- database
- database transactions
- concurrency control
- long lived
- real time database systems
- transaction processing
- transaction data
- distributed database systems
- long duration
- transaction databases
- transactional data
- transaction model
- information sharing
- information systems
- search engine
- learning algorithm
- machine learning
- data sets