Conduché property and tree-based categories

DOI10.1016/J.JPAA.2009.05.008zbMATH Open1208.18006OpenAlexW1980264691MaRDI QIDQ1040596FDOQ1040596

Authors: 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

Recommendations

• Tree-functors, determinacy and bisimulations
• Generalising Conduché's theorem
• scientific article; zbMATH DE number 3905836
• scientific article; zbMATH DE number 4062569
• Enriched categorical semantics for distributed calculi

Mathematics Subject Classification ID

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)

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

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)