most citedEPTL - A temporal logic for weakly consistent systems

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.DBShow all

1 paper · 1 filter

cs.DB2018

ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases

Mathias Weber, Annette Bieniusa

Scalable and highly available systems often require data stores that offer weaker consistency guarantees than traditional relational databases systems. The correctness of these app…