On verifying concurrent programs under weakly consistent models (invited talk)

DOI10.4230/LIPICS.CONCUR.2023.2MaRDI QIDQ6967348zbMATH OpenFDO

Authors Ahmed Bouajjani

Publication date 26 June 2025

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

concurrent programsweakly consistent models

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: On verifying concurrent programs under weakly consistent models (invited talk)

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