Pages that link to "Item:Q1318721"

The following pages link to The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721):

Displaying 7 items.

• Metric completion versus ideal completion (Q672047) (← links)
• On the uniqueness of fixed points of endofunctors in a category of complete metric spaces (Q1114959) (← links)
• The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces (Q1123253) (← links)
• Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
• Denotational semantics in the cpo and metric approach (Q1346621) (← links)
• An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)