Chapitre D'ouvrage Année : 2017

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency

Fichier principal
Vignette du fichier
paper_82.pdf (2.37 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

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

Licence

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⟩
60 Consultations
287 Téléchargements

Partager

  • More