Conduché property and tree-based categories
From MaRDI portal
Publication:1040596
DOI10.1016/j.jpaa.2009.05.008zbMath1208.18006MaRDI QIDQ1040596
Anna Labella, Stefano Kasangian
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
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18C50: Categorical semantics of formal languages
18D20: Enriched categories (over closed or monoidal categories)
Related Items
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