A framework for consistency algorithms

DOI10.4230/LIPICS.FSTTCS.2020.42MaRDI QIDQ6839860zbMATH OpenFDO

Authors Peter Chini, Prakash Saivasan

Publication date 23 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2020.42

zbMATH Keywords

consistencyfine-grained complexityweak memory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication: A framework for consistency algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6839860)