QRB-Domains and the Probabilistic Powerdomain - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2012

QRB-Domains and the Probabilistic Powerdomain

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More