QRB-Domains and the Probabilistic Powerdomain - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Logical Methods in Computer Science Year : 2012

QRB-Domains and the Probabilistic Powerdomain

Dates and versions

hal-03190021 , version 1 (05-04-2021)

Identifiers

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More