Monitoring weak consistency

DOI10.1007/978-3-319-96145-3_26zbMath1511.68181OpenAlexW2884168360MaRDI QIDQ6041131

Michael Emmi, Constantin Enea

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96145-3_26

zbMATH Keywords

consistencylinearizabilityruntime verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Monitoring weak consistency