Locating reaction with 2-categories (Q1770420): Difference between revisions

@@ Property / cites work @@
+Q4415245
@@ Property / cites work: Q4415245 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Q4415246
@@ Property / cites work: Q4415246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484493
@@ Property / cites work: Q4484493 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation congruences in safe ambients
@@ Property / cites work: Bisimulation congruences in safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bigraphs and transitions
@@ Property / cites work: Bigraphs and transitions / 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 @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for interaction
@@ Property / cites work: Calculi for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791828
@@ Property / cites work: Q4791828 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Bisimulation Congruences: A 2-categorical Approach
+Normal rank
@@ Property / cites work @@
+Q4417873
@@ Property / cites work: Q4417873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457841
@@ Property / cites work: Q4457841 / rank @@
+Normal rank
@@ Property / cites work @@
+From rewrite rules to bisimulation congruences
@@ Property / cites work: From rewrite rules to bisimulation congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3876103
@@ Property / cites work: Q3876103 / rank @@
+Normal rank