Pages that link to "Item:Q910250"

The following pages link to Denotational semantics of a parallel object-oriented language (Q910250):

Displaying 18 items.

• A fixed-point theorem in a category of compact metric spaces (Q673143) (← links)
• Solving reflexive domain equations in a category of complete metric spaces (Q753944) (← links)
• An operational semantics for paragon: A design notation for parallel architectures (Q756433) (← links)
• Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
• Issues in the design of a parallel object-oriented language (Q909434) (← links)
• Designing equivalent semantic models for process creation (Q1107305) (← links)
• Metric semantics for concurrency (Q1113660) (← links)
• Four domains for concurrency (Q1179700) (← links)
• A layered semantics for a parallel object-oriented language (Q1194208) (← links)
• Partial confluence of processes and systems of objects (Q1274970) (← links)
• Rendez-vous with metric semantics (Q1313370) (← links)
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
• Reasoning about dynamically evolving process structures (Q1333406) (← links)
• The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300) (← links)
• A hidden agenda (Q1575735) (← links)
• Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
• An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) (Q2365396) (← links)
• Recursively defined metric spaces without contraction (Q2373743) (← links)