Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
DOI10.1007/S00165-019-00489-WzbMATH Open1425.68096OpenAlexW2901599465MaRDI QIDQ2335948FDOQ2335948
Indranil Gupta, Si Liu, Qi Wang, Peter Csaba Ölveczky, José Meseguer
Publication date: 18 November 2019
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2142/101836
Recommendations
performance evaluationstatistical model checkingrewriting logicMaudedistributed database systemstransaction protocolsconsistency models
Database theory (68P15) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Statistical probabilistic model checking with a focus on time-bounded properties
- Conditional rewriting logic as a unified model of concurrency
- Title not available (Why is that?)
- Semantics and pragmatics of real-time maude
- Computer Aided Verification
- Statistical Model Checking for Composite Actor Systems
- A Framework for Transactional Consistency Models with Atomic Visibility
- ROLA: a new distributed transaction protocol and its formal analysis
- Scalable Atomic Visibility with RAMP Transactions
- Formalizing and Validating the P-Store Replicated Data Store in Maude
- Pascal's Prism
Cited In (1)
Uses Software
This page was built for publication: Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2335948)
