scientific article; zbMATH DE number 3883639

MaRDI QIDQ3217633zbMATH OpenFDO

Authors Max Dauchet, Gerard Comyn, Sophie Tison

Publication date 1983

zbMATH Keywords

metric structurenondeterminismordered structureparallelismpower domainsemantics of programming languages

Mathematics Subject Classification ID

Partial orders, general (06A06) Ordered topological structures (06F30) Semantics in the theory of computing (68Q55)

Recommendations

• Metric semantics from partial order semantics
• scientific article; zbMATH DE number 4089615
• scientific article; zbMATH DE number 3924762
• Convex powerdomains. I
• A characterization of Plotkin's order in powerdomains, and some of its properties

Cited in

(4)

• A characterization of Plotkin's order in powerdomains, and some of its properties
• Metric semantics from partial order semantics
• scientific article; zbMATH DE number 3924762 (Why is no real title available?)
• Metric completion versus ideal completion

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 Q3217633)