Atomic semantics of nonatomic programs

Authors:
James H. Anderson;Mohammed G. Gouda
Affiliations:
The Univ. of Texas, Austin;The Univ. of Texas, Austin
Venue:
Information Processing Letters
Year:
1988

Citing 0
Cited 2

How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor

IEEE Transactions on Computers
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes

ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.89

Visualization

Abstract