Non-interference and local correctness in transactional memory

Petr Kuznetsov; Sathya Peri

doi:10.1016/j.tcs.2016.06.021

Article Dans Une Revue Theor. Comput. Sci. Année : 2017

Non-interference and local correctness in transactional memory

(1, 2) ,

1
2

Petr Kuznetsov

Fonction : Auteur
PersonId : 745310
IdHAL : pkouznet
ORCID : 0000-0003-1148-1228
IdRef : 235483184

Autonomic and Critical Embedded Systems

Département Informatique et Réseaux

Sathya Peri

Fonction : Auteur

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Théorie et langage formel [cs.FL]

TelecomParis HAL : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-02287768

Soumis le : vendredi 13 septembre 2019-17:19:39

Dernière modification le : lundi 9 octobre 2023-12:49:39

Dates et versions

hal-02287768 , version 1 (13-09-2019)

Identifiants

HAL Id : hal-02287768 , version 1
ARXIV : 1211.6315
DOI : 10.1016/j.tcs.2016.06.021

Citer

Petr Kuznetsov, Sathya Peri. Non-interference and local correctness in transactional memory. Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩. ⟨hal-02287768⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM PARISTECH UNIV-PARIS-SACLAY LTCI INFRES ACES

16 Consultations

0 Téléchargements

Non-interference and local correctness in transactional memory

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager