Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2017

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
paper_82.pdf (2.37 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Constantin Enea  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01943949

Soumis le : vendredi 4 mars 2022-11:40:23

Dernière modification le : vendredi 24 mars 2023-14:53:26

Télécharger pour visualiser

Dates et versions

hal-01943949 , version 1 (04-12-2018)
hal-01943949 , version 2 (04-03-2022)

Identifiants

  • HAL Id : hal-01943949 , version 2

Citer

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran. Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings, pp.170-200, 2017. ⟨hal-01943949v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS USPC
25 Consultations
109 Téléchargements

Partager

Gmail Facebook X LinkedIn More