par Abdulla, Parosh Aziz P.A.; Sandberg, Sven S.; Clemente, Lorenzo Liste de publications; Mayr, Richard R.
Référence Logical methods in computer science, 10, 4, 21
Publication Publié, 2014-12
Article révisé par les pairs
Titre :
  • Stochastic parity games on lossy channel systems
Auteur : Abdulla, Parosh Aziz P.A. ; Sandberg, Sven S. ; Clemente, Lorenzo ; Mayr, Richard R.
Informations sur la publication : Logical methods in computer science, 10, 4, 21
Statut de publication : Publié, 2014-12
Sujet CREF : Informatique mathématique
Informatique générale
Mots-clés : Finite attractor
Lossy channel systems
Memoryless determinacy
Parity games
Stochastic games
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:1860-5974 
info:doi/10.2168/LMCS-10(4:21)2014