"Data reification in a concurrent rely-guarantee algebra."

Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones (2024)

Details and statistics

DOI: 10.48550/ARXIV.2405.05546

access: open

type: Informal or Other Publication

metadata version: 2024-06-13