Atomic actions
Résumé
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.
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00075532
Soumis le : mercredi 24 mai 2006-18:24:59
Dernière modification le : mercredi 15 mars 2023-08:58:09
Archivage à long terme le : vendredi 13 mai 2011-12:50:14