Journal Articles
Logical Methods in Computer Science
Year : 2012
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03190021
Submitted on : Monday, April 5, 2021-7:31:05 PM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Dates and versions
Identifiers
- HAL Id : hal-03190021 , version 1
- ARXIV : 1202.2287
- DOI : 10.2168/LMCS-8(1:14)2012
Cite
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
View
0
Download