Pages that link to "Item:Q4746777"

The following pages link to Processes and the denotational semantics of concurrency (Q4746777):

Displaying 50 items.

• A generalization of Ćirić quasicontractions (Q410193) (← links)
• A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
• Approximation in quantale-enriched categories (Q536049) (← links)
• Fixed point equations with parameters in the projective model (Q580971) (← links)
• The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
• Denotational linear time semantics and sequential composition (Q671406) (← links)
• Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
• Metric completion versus ideal completion (Q672047) (← links)
• 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)
• A fixed point approach to parallel discrete event simulation (Q758225) (← links)
• A denotational semantics for shared-memory parallelism and nondeterminism (Q792754) (← links)
• A linear-history semantics for languages for distributed programming (Q796298) (← links)
• Denotational semantics of CSP (Q801677) (← links)
• Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
• Execution architectures for program algebra (Q881834) (← links)
• Decision problems for pushdown threads (Q884992) (← links)
• Issues in the design of a parallel object-oriented language (Q909434) (← links)
• Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
• Denotational semantics of a parallel object-oriented language (Q910250) (← links)
• A metric for traces (Q911785) (← links)
• Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
• Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
• Contractions in comparing concurrency semantics (Q919834) (← links)
• Idempotent probability measures on ultrametric spaces (Q924245) (← links)
• A thread calculus with molecular dynamics (Q988554) (← links)
• Risk assessment for one-counter threads (Q1015382) (← links)
• On the suitability of trace semantics for modular proofs of communicating processes (Q1060004) (← links)
• Specification-oriented semantics for communicating processes (Q1060838) (← links)
• Algebra of communicating processes with abstraction (Q1067408) (← links)
• Merging regular processes by means of fixed-point theory (Q1082070) (← links)
• Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
• Global renaming operators in concrete process algebra (Q1106660) (← links)
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
• Designing equivalent semantic models for process creation (Q1107305) (← links)
• A timed model for communicating sequential processes (Q1109561) (← links)
• Metric semantics for concurrency (Q1113660) (← 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)
• Terminal metric spaces of finitely branching and image finite linear processes (Q1128985) (← links)
• Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
• Domain theory in logical form (Q1174593) (← links)
• Semantic models for concurrent logic languages (Q1177921) (← links)
• Four domains for concurrency (Q1179700) (← links)
• A layered semantics for a parallel object-oriented language (Q1194208) (← links)
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic (Q1194328) (← links)
• Topology, domain theory and theoretical computer science (Q1295216) (← links)
• Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
• Rendez-vous with metric semantics (Q1313370) (← links)
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)