v1v2 (latest)

Efficient Linearizability Checking for Actor-based Systems

13 October 2021

Papers citing "Efficient Linearizability Checking for Actor-based Systems"

4 / 4 papers shown

Title
Linearizability: A Typo G. Sela Maurice Herlihy E. Petrank 39 9 0 14 May 2021
Just-Right Consistency: reconciling availability and safety M. Shapiro Annette Bieniusa Nuno M. Preguiça Valter Balegas Christopher S. Meiklejohn 34 14 0 19 Jan 2018
Causal Linearizability Simon Doherty J. Derrick 16 13 0 22 Apr 2016
Faster linearizability checking via $P$ -compositionality Alex Horn Daniel Kroening CoGe 20 22 0 01 Apr 2015