Atomic actions
Abstract
We give a formal specification of the semantics of atomic actions. We show that adding atomic action constructs to a low-level imperative language allows one to program higher-level synchronization mechanisms.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00075532
Submitted on : Wednesday, May 24, 2006-6:24:59 PM
Last modification on : Wednesday, March 15, 2023-8:58:09 AM
Long-term archiving on: Friday, May 13, 2011-12:50:14 PM