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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02949827
+Normal rank
@@ Property / OpenAlex ID @@
+W1486166401
@@ Property / OpenAlex ID: W1486166401 / rank @@
+Normal rank