Profunctors, open maps and bisimulation

DOI10.1017/S0960129505004718MaRDI QIDQ5462666zbMATH OpenFDO

Authors Gian Luca Cattani, Glynn Winskel

Publication date 3 August 2005

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129505004718

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1314222
• Coalgebra morphisms subsume open maps
• scientific article; zbMATH DE number 1086660
• Morphisms of colimits: from paths to profunctors
• scientific article; zbMATH DE number 1231607

Cited in

(28)

• Presheaf models for CCS-like languages
• Domain theory for concurrency
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Deterministic concurrent strategies
• Modal event-clock specifications for timed component-based design
• Bisimulation maps in presheaf categories
• Higher dimensional categories: induction on extensivity
• Analytic functors between presheaf categories over groupoids
• Elements of a theory of algebraic theories
• Morphisms of colimits: from paths to profunctors
• Strategies as concurrent processes
• Event structures with symmetry
• Event structure spans for nondeterministic dataflow
• Open Maps Bisimulations for Higher Dimensional Automata Models
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Some reasons for generalising domain theory
• Categorical semantics for arrows
• Distributed Strategies Made Easy
• On the formal theory of pseudomonads and pseudodistributive laws
• On operads, bimodules and analytic functors
• Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
• A categorical semantics for hierarchical Petri nets
• Categorifying non-idempotent intersection types
• A profunctorial Scott semantics
• Two-dimensional Kripke semantics i: presheaves
• Bicategories of automata, automata in bicategories
• Presentations of pseudodistributive laws
• Prime algebraicity

This page was built for publication: Profunctors, open maps and bisimulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5462666)