Model-checking parametric lock-sharing systems against regular constraints

DOI10.4230/LIPICS.CONCUR.2023.24MaRDI QIDQ6967323zbMATH OpenFDO

Authors Corto N. Mascle, Anca Muscholl, Igor Walukiewicz

Publication date 26 June 2025

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

parametric systemsmodel-checkinglocks

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: Model-checking parametric lock-sharing systems against regular constraints

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