scientific article; zbMATH DE number 4068944

MaRDI QIDQ3801607zbMATH OpenFDO

Authors Tsutomu Kamimura, Adrian Tang

Publication date 1988

zbMATH Keywords

continuous auxiliary relationcpodomainretract of Plotkin's SFP objectScott's way-below relation

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The auxiliary relation of dcpo and topology
• scientific article; zbMATH DE number 7267159
• Continuous completions
• scientific article; zbMATH DE number 1261782
• Meet precontinuous posets.

Cited in

(1)

• The auxiliary relation of dcpo and topology

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3801607)