A criterion for atomicity revisited
type: Item
instance of: scholarly article
title: A criterion for atomicity revisited
zbMATH Open document ID: 1120.68073
author: W. H. Hesselink
published in: Acta Informatica
publication date: 2007-06-07T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5162393
zbMATH Keywords: gliding simulations
MaRDI profile type: Publication
full work available at URL: s00236-007-0044-1
OpenAlex ID: W2026417724
cites work: The existence of refinement mappings
cites work: Constructing two-writer atomic registers
cites work: An assertional criterion for atomicity
cites work: Q4808690
cites work: An assertional proof for a construction of an atomic variable
cites work: Using eternity variables to specify and prove a serializable database interface
cites work: Universal extensions to simulate specifications
cites work: Splitting forward simulations to cope with liveness
cites work: Q3713577
cites work: Q3777424
cites work: Forward and backward simulations. I. Untimed Systems
cites work: Q3126969
cites work: A calculus of communicating systems
cites work: Q4002642
cites work: Q4873991
cites work: Concurrent reading while writing revisited
DOI: 10.1007/S00236-007-0044-1
description: scientific article; zbMATH DE number 5162393