Skip to Main content Skip to Navigation
Conference papers

omega-QRB-Domains and the Probabilistic Powerdomain

Complete list of metadata

https://hal.inria.fr/hal-03191270
Contributor : Jean Goubault-Larrecq <>
Submitted on : Wednesday, April 7, 2021 - 8:56:09 AM
Last modification on : Friday, April 9, 2021 - 3:33:13 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

5