A type system for lock-free processes (Q2497143): Difference between revisions

@@ Property / cites work @@
+Q4370350
@@ Property / cites work: Q4370350 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak and strong fairness in CCS
@@ Property / cites work: Weak and strong fairness in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Resource bound certification
@@ Property / cites work: Resource bound certification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858945
@@ Property / cites work: Q4858945 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming in a fragment of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+A generic type system for the Pi-calculus
@@ Property / cites work: A generic type system for the Pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536623
@@ Property / cites work: Q4536623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692503
@@ Property / cites work: Q4692503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral equivalence in the polymorphic pi-calculus
+Normal rank
@@ Property / cites work @@
+Concurrent Programming in ML
@@ Property / cites work: Concurrent Programming in ML / rank @@
+Normal rank
@@ Property / cites work @@
+The name discipline of uniform receptiveness
@@ Property / cites work: The name discipline of uniform receptiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalisation in the \(\pi\)-calculus
@@ Property / cites work: Strong normalisation in the \(\pi\)-calculus / rank @@
+Normal rank