omega-QRB-Domains and the Probabilistic Powerdomain - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

omega-QRB-Domains and the Probabilistic Powerdomain

Dates and versions

hal-03191270 , version 1 (07-04-2021)

Identifiers

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⟩
10 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More