par Busatto-Gaston, Damien ;Chakraborty, Debraj ;Raskin, Jean-François
Référence 31st International Conference on Concurrency Theory (CONCUR 2020), Vol. 171, page (40:1-40:24)
Publication Publié, 2020-08-31
Référence 31st International Conference on Concurrency Theory (CONCUR 2020), Vol. 171, page (40:1-40:24)
Publication Publié, 2020-08-31
Publication dans des actes
Titre: |
|
Auteur: | Busatto-Gaston, Damien; Chakraborty, Debraj; Raskin, Jean-François |
Informations sur la publication: | 31st International Conference on Concurrency Theory (CONCUR 2020), Vol. 171, page (40:1-40:24) |
Statut de publication: | Publié, 2020-08-31 |
Sujet CREF: | Informatique générale |
Langue: | Anglais |
Identificateurs: | urn:isbn:978-3-95977-160-3 |
info:doi/10.4230/LIPIcs.CONCUR.2020.40 |