par Geeraerts, Gilles ;Heussner, Alexander Elmar ;Raskin, Jean-François
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 générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:1539-9087
info:doi/10.1145/2700072
info:scp/84929149892
http://doi.acm.org/10.1145/2700072