Conduché property and tree-based categories (Q1040596): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jpaa.2009.05.008
+Normal rank
@@ Property / OpenAlex ID @@
+W1980264691
@@ Property / OpenAlex ID: W1980264691 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique factorisation lifting functors and  categories of linearly-controlled processes
+Normal rank
@@ Property / cites work @@
+Q4536442
@@ Property / cites work: Q4536442 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5652846
@@ Property / cites work: Q5652846 / rank @@
+Normal rank
@@ Property / cites work @@
+Observational trees as models for concurrency
@@ Property / cites work: Observational trees as models for concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958648
@@ Property / cites work: Q3958648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3692876
@@ Property / cites work: Q3692876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Variation through enrichment
@@ Property / cites work: Variation through enrichment / rank @@
+Normal rank
@@ Property / cites work @@
+On continuous time agents
@@ Property / cites work: On continuous time agents / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-functors, determinacy and bisimulations
@@ Property / cites work: Tree-functors, determinacy and bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched categorical semantics for distributed calculi
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories with sums and right distributive tensor product
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank