Conduché property and tree-based categories
DOI10.1016/J.JPAA.2009.05.008zbMATH Open1208.18006OpenAlexW1980264691MaRDI QIDQ1040596FDOQ1040596
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
Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Enriched categories (over closed or monoidal categories) (18D20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Variation through enrichment
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Branching time and abstraction in bisimulation semantics
- Title not available (Why is that?)
- Categories with sums and right distributive tensor product
- Unique factorisation lifting functors and categories of linearly-controlled processes
- Title not available (Why is that?)
- Observational trees as models for concurrency
- Enriched categorical semantics for distributed calculi
- Tree-functors, determinacy and bisimulations
- Title not available (Why is that?)
- On continuous time agents
Cited In (2)
Recommendations
This page was built for publication: Conduché property and tree-based categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1040596)
