Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391): Difference between revisions

@@ Property / cites work @@
+New foundations for the geometry of interaction
@@ Property / cites work: New foundations for the geometry of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized Kahn Principle for abstract asynchronous networks
+Normal rank
@@ Property / cites work @@
+Q3204033
@@ Property / cites work: Q3204033 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the π-calculus
+Normal rank
@@ Property / cites work @@
+A theory of processes with localities
@@ Property / cites work: A theory of processes with localities / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787462
@@ Property / cites work: Q3787462 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795192
@@ Property / cites work: Q3795192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138147
@@ Property / cites work: Q4138147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038690
@@ Property / cites work: Q4038690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490739
@@ Property / cites work: Q4490739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank
@@ Property / cites work @@
+π-Calculus semantics of object-oriented programming languages
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank