Q2851059 (Q2851059): 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 @@
+Proof Techniques for Cryptographic Processes
@@ Property / cites work: Proof Techniques for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Trace and testing equivalence on asynchronous processes
+Normal rank
@@ Property / cites work @@
+Q4222851
@@ Property / cites work: Q4222851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703706
@@ Property / cites work: Q2703706 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics preserving actor translation
@@ Property / cites work: A semantics preserving actor translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536438
@@ Property / cites work: Q4536438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219055
@@ Property / cites work: Q4219055 / 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 @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703692
@@ Property / cites work: Q2703692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222865
@@ Property / cites work: Q4222865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790350
@@ Property / cites work: Q4790350 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching
+Normal rank
@@ Property / cites work @@
+Q4222852
@@ Property / cites work: Q4222852 / rank @@
+Normal rank