Conference Papers
Year : 2010
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03191270
Submitted on : Wednesday, April 7, 2021-8:56:09 AM
Last modification on : Wednesday, November 29, 2023-3:28:04 PM
Cite
Jean Goubault-Larrecq. omega-QRB-Domains and the Probabilistic Powerdomain. 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.352-361, ⟨10.1109/LICS.2010.50⟩. ⟨hal-03191270⟩
Collections
10
View
0
Download