On the composability of consistency conditions
type: Item
instance of: scholarly article
title: On the composability of consistency conditions
zbMATH Open document ID: 1173.68385
DOI: 10.1016/S0020-0190(02)00498-2
author: Roy Friedman
author: Roman Vitenberg
author: Gregory Chockler
published in: Information Processing Letters
publication date: 2009-03-23T00:00:00Z
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5530924
zbMATH Keywords: concurrency
zbMATH Keywords: distributed computing
zbMATH Keywords: distributed systems
zbMATH Keywords: formal semantics
MaRDI profile type: Publication
cites work: Causal memory: definitions, implementation, and programming
cites work: Limitations of fast consistency conditions for distributed shared memories
cites work: A Correctness Condition for High-Performance Multiprocessors
cites work: Q2766892
cites work: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
cites work: A checkpoint protocol for an entry consistent shared memory system
full work available at URL: s0020-0190(02)00498-2
OpenAlex ID: W2116569164
description: scientific article; zbMATH DE number 5530924