Responsiveness in process calculi (Q959822): Difference between revisions

@@ Property / cites work @@
+Responsiveness in process calculi
@@ Property / cites work: Responsiveness in process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of internal mobility in name-passing calculi
+Normal rank
@@ Property / cites work @@
+Q4673437
@@ Property / cites work: Q4673437 / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for lock-free processes
@@ Property / cites work: A type system for lock-free processes / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based information flow analysis for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A New Type System for Deadlock-Free Processes
@@ Property / cites work: A New Type System for Deadlock-Free Processes / rank @@
+Normal rank
@@ Property / cites work @@
+On asynchrony in name-passing calculi
@@ Property / cites work: On asynchrony in name-passing calculi / 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