A Type and Effect System for Atomicity

ACM SIGPLAN Notices
doi 10.1145/780822.781169
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Modularity, Atomicity and States in Archimedean Lattice Effect Algebras

Symmetry, Integrability and Geometry: Methods and Applications (SIGMA)
GeometryMathematical PhysicsAnalysisTopology
2010English

Exploiting Purity for Atomicity

2004English

Causal Atomicity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Customized Atomicity Specification for Transactional Workflows

English

Automated Atomicity-Violation Fixing

2011English

Proving Atomicity: An Assertional Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O

2003English

Higher Order Cohomology Operations and Minimal Atomicity

Homology, Homotopy and Applications
Mathematics
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy