A modal logic analysis of the MUTEX variable coverage theorem

DOI10.1007/978-3-031-73887-6_17MaRDI QIDQ7007848zbMATH OpenFDO

Authors Michael Mendler

Publication date 25 March 2025

Full work available at URL https://doi.org/10.1007/978-3-031-73887-6_17

zbMATH Keywords

modal logicmutual exclusionread/write memory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Distributed systems (68M14) Distributed algorithms (68W15)

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1852919 (Why is no real title available?)
• Many-dimensional modal logics: theory and applications

This page was built for publication: A modal logic analysis of the MUTEX variable coverage theorem

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