Global serializability of concurrent programs
type: Item
instance of: scholarly article
title: Global serializability of concurrent programs
zbMATH Open document ID: 0795.68132
DOI: 10.1016/0304-3975(94)90053-1
author: Béatrice Bérard
published in: Theoretical Computer Science
publication date: 1994-04-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 540871
zbMATH Keywords: action systems
zbMATH Keywords: verification
zbMATH Keywords: concurrent programs
zbMATH Keywords: atomicity
zbMATH Keywords: global serializability
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)90053-1
OpenAlex ID: W2084848907
cites work: Atomic semantics of nonatomic programs
cites work: Formal Aspects of Serializability in Database Concurrency Control
cites work: Q4066554
cites work: On interprocess communication. II: Algorithms
cites work: A theorem on atomicity in distributed algorithms
cites work: Multilevel atomicity—a new correctness criterion for database concurrency control
cites work: On describing the behavior and implementation of distributed systems
cites work: The serializability of concurrent database updates
cites work: Myths about the mutual exclusion problem
description: scientific article; zbMATH DE number 540871