Conduché property and tree-based categories

DOI10.1016/J.JPAA.2009.05.008zbMath1208.18006OpenAlexW1980264691MaRDI QIDQ1040596

Stefano Kasangian, Anna Labella

Publication date: 25 November 2009

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2009.05.008

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (2)

Generalising Conduché's theorem ⋮ Tree-functors, determinacy and bisimulations

Cites Work

• Variation through enrichment
• Enriched categorical semantics for distributed calculi
• Categories with sums and right distributive tensor product
• Tree-functors, determinacy and bisimulations
• Branching time and abstraction in bisimulation semantics
• Unique factorisation lifting functors and categories of linearly-controlled processes
• Observational trees as models for concurrency
• On continuous time agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conduché property and tree-based categories