Non-interference and local correctness in transactional memory - Télécom Paris
Article Dans Une Revue Theor. Comput. Sci. Année : 2017

Non-interference and local correctness in transactional memory

Petr Kuznetsov
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 : mercredi 30 octobre 2024-18:17:05

Consulter le texte intégral

Dates et versions

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

Identifiants

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

PARISTECH UNIV-PARIS-SACLAY LTCI INFRES ACES ANR INSTITUT-MINES-TELECOM
36 Consultations
0 Téléchargements

Altmetric

Partager

More