Atomic actions, in EATCS
Bulletin Vol. 38 (1989), 136-144.
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.