Conduché property and tree-based categories

DOI10.1016/J.JPAA.2009.05.008MaRDI QIDQ1040596zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3917719 (Why is no real title available?)
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1759488 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3382586 (Why is no real title available?)
• Branching time and abstraction in bisimulation semantics
• Categories with sums and right distributive tensor product
• Enriched categorical semantics for distributed calculi
• Observational trees as models for concurrency
• On continuous time agents
• Tree-functors, determinacy and bisimulations
• Unique factorisation lifting functors and categories of linearly-controlled processes
• Variation through enrichment

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)