Developing an algebra for rely/guarantee concurrency: design decisions and challenges

DOI10.1007/978-3-030-31038-7_9MaRDI QIDQ2296292

Ian J. Hayes, Larissa A. Meinicke

Publication date: 18 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-31038-7_9

zbMATH Keywords

localisation; concurrency; program algebra; rely/guarantee; synchronous parallel

Mathematics Subject Classification ID

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