1 paper
Chengyu Zhou, Qingguo Li
Consistent Hoare, Smyth and Plotkin power domains are introduced and discussed by Yuan and Kou. The consistent algebraic operation + defined by them is a binary partial Scott con…