Pages that link to "Item:Q1173767"

The following pages link to Towards a foundation for semantics in complete metric spaces (Q1173767):

Displaying 11 items.

• A fixed-point theorem in a category of compact metric spaces (Q673143) (← links)
• A characterization of distance between 1-bounded compact ultrametric spaces through a universal space (Q1127530) (← links)
• Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
• Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
• The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300) (← links)
• The equational logic of fixed points (Q1391734) (← links)
• Trees and semantics (Q1391740) (← links)
• De Bakker-Zucker processes revisited (Q1887161) (← links)
• Recursively defined metric spaces without contraction (Q2373743) (← links)
• Underspecification for a simple process algebra of recursive processes. (Q5958781) (← links)