Article Dans Une Revue
Logical Methods in Computer Science
Année : 2012
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03190021
Soumis le : lundi 5 avril 2021-19:31:05
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Dates et versions
Identifiants
- HAL Id : hal-03190021 , version 1
- ARXIV : 1202.2287
- DOI : 10.2168/LMCS-8(1:14)2012
Citer
Jean Goubault-Larrecq. QRB-Domains and the Probabilistic Powerdomain. Logical Methods in Computer Science, 2012, 8 (1), ⟨10.2168/LMCS-8(1:14)2012⟩. ⟨hal-03190021⟩
Collections
32
Consultations
0
Téléchargements