Encoding fairness in a synchronous concurrent program algebra

DOI10.1007/978-3-319-95582-7_13zbMath1460.68028arXiv1805.01681MaRDI QIDQ2024348

Ian J. Hayes, Larissa A. Meinicke

Publication date: 4 May 2021

Full work available at URL: https://arxiv.org/abs/1805.01681

Mathematics Subject Classification ID

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

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