par Geeraerts, Gilles Cliquez pour télécharger la liste de publications de l'auteur; Heussner, Alexander Elmar Liste de publications; Raskin, Jean-François Liste de publications
Référence ACM transactions on embedded computing systems, 14, 3, (page 58-1--58-26)
Publication Publié, 2015
Article révisé par les pairs
Titre :
  • On the Verification of Concurrent, Asynchronous Programs with Waiting Queues
Auteur : Geeraerts, Gilles ; Heussner, Alexander Elmar ; Raskin, Jean-François
Informations sur la publication : ACM transactions on embedded computing systems, 14, 3, (page 58-1--58-26)
Statut de publication : Publié, 2015
Sujet CREF : Informatique générale
Informatique mathématique
Mots-clés : Asynchronous programming
Waiting queues
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:1539-9087 
info:doi/10.1145/2700072
http://doi.acm.org/10.1145/2700072