Testing congruence for mobile processes (Q1599646): Difference between revisions

@@ Property / cites work @@
+Testing equivalence for mobile processes
@@ Property / cites work: Testing equivalence for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4369920
@@ Property / cites work: Q4369920 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on mobile processes
@@ Property / cites work: Variations on mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270066
@@ Property / cites work: Q4270066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536631
@@ Property / cites work: Q4536631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472461
@@ Property / cites work: Q4472461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories for name-passing calculi
@@ Property / cites work: Algebraic theories for name-passing calculi / rank @@
+Normal rank