Skip to content

Simulation and Invariance for Weak Consistency.

Jade Alglave

VenueBSAS
Year2016
ProceedingsSAS

Browse the full SAS paper archive.