Metric completion versus ideal completion

DOI10.1016/0304-3975(95)00262-6MaRDI QIDQ672047zbMATH OpenOpenAlexFDO

Authors Mila Majster-Cederbaum, Christel Baier

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(95)00262-6

zbMATH Keywords

concurrencyrecursionmetric completionideal completioninfinite behavioursemantic domainsemantic operatorssemantics of programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Metric semantics from partial order semantics
• scientific article; zbMATH DE number 3883639
• scientific article; zbMATH DE number 1531366
• Towards a foundation for semantics in complete metric spaces
• On the relationships between Scott domains, synchronization trees, and metric spaces

Cites work

• scientific article; zbMATH DE number 3924762 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• Denotational semantics in the cpo and metric approach
• Metric semantics for concurrency
• Processes and the denotational semantics of concurrency
• Synchronization trees
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
• The connection between initial and unique solutions of domain equations in the partial order and metric approach

Cited in

(5)

• The essence of ideal completion in quantitative form
• Strict ideal completions of the lambda calculus
• scientific article; zbMATH DE number 1531366 (Why is no real title available?)
• Uniform completion versus ideal completion of posets with projections
• The topology of Mazurkiewicz traces.

This page was built for publication: Metric completion versus ideal completion

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