An assertional criterion for atomicity

DOI10.1007/S002360200080zbMath1025.68058OpenAlexW2043564172MaRDI QIDQ1608943

Wim H. Hesselink

Publication date: 14 August 2002

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://pure.rug.nl/ws/files/3042571/2002ActaInfHesselink.pdf

zbMATH Keywords

mechanical theorem provertwo-writer atomic register

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A criterion for atomicity revisited

This page was built for publication: An assertional criterion for atomicity