Constructing process categories (Q1391863): Difference between revisions

@@ Property / author @@
-J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
-Normal rank
@@ Property / author @@
+J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A specification structure for deadlock-freedom of synchronous processes
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620723
@@ Property / cites work: Q5620723 / rank @@
+Normal rank
@@ Property / cites work @@
+*-Autonomous categories and linear logic
@@ Property / cites work: *-Autonomous categories and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+List-arithmetic distributive categories: Locoi
@@ Property / cites work: List-arithmetic distributive categories: Locoi / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to distributive categories
@@ Property / cites work: Introduction to distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138536
@@ Property / cites work: Q3138536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222751
@@ Property / cites work: Q4222751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853985
@@ Property / cites work: Q4853985 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary observations on 2-categorical limits
@@ Property / cites work: Elementary observations on 2-categorical limits / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on Mackey-functors
@@ Property / cites work: A remark on Mackey-functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Simply Connected Limits
@@ Property / cites work: Simply Connected Limits / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1391863