Pages that link to "Item:Q5462666"

The following pages link to Profunctors, open maps and bisimulation (Q5462666):

Displaying 21 items.

• Strategies as concurrent processes (Q283745) (← links)
• Prime algebraicity (Q843107) (← links)
• Presheaf models for CCS-like languages (Q1399958) (← links)
• Domain theory for concurrency (Q1434357) (← links)
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
• Deterministic concurrent strategies (Q1941878) (← links)
• Modal event-clock specifications for timed component-based design (Q1951603) (← links)
• Bisimulation maps in presheaf categories (Q2133160) (← links)
• Higher dimensional categories: induction on extensivity (Q2134826) (← links)
• Analytic functors between presheaf categories over groupoids (Q2253181) (← links)
• Elements of a theory of algebraic theories (Q2253182) (← links)
• Event Structures with Symmetry (Q2864165) (← links)
• Event Structure Spans for Nondeterministic Dataflow (Q2866348) (← links)
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
• Some reasons for generalising domain theory (Q3559971) (← links)
• Categorical semantics for arrows (Q3638922) (← links)
• Distributed Strategies Made Easy (Q5111299) (← links)
• On the formal theory of pseudomonads and pseudodistributive laws (Q5150014) (← links)
• On operads, bimodules and analytic functors (Q5366976) (← links)
• Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences (Q6544451) (← links)
• A categorical semantics for hierarchical Petri nets (Q6649536) (← links)