ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.
Si LiuPeter Csaba ÖlveczkyKeshav SanthanamQi WangIndranil GuptaJosé MeseguerPublished in: FASE (2018)
Keyphrases
- formal analysis
- payment protocol
- ban logic
- formal methods
- distributed systems
- commit protocols
- distributed environment
- artificial intelligence
- peer to peer
- database systems
- lightweight
- mobile agents
- concurrency control protocols
- knowledge based systems
- concurrency control
- transaction management
- transaction model
- real time database systems
- group communication