Q2842870 (Q2842870): Difference between revisions

@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4230922
@@ Property / cites work: Q4230922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536615
@@ Property / cites work: Q4536615 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic observables for processes
@@ Property / cites work: Basic observables for processes / rank @@
+Normal rank
@@ Property / cites work @@
+A complexity analysis of bisimilarity for value-passing processes
+Normal rank
@@ Property / cites work @@
+On Bisimulations for the Spi Calculus*
@@ Property / cites work: On Bisimulations for the Spi Calculus* / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of process equivalences for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4503956
@@ Property / cites work: Q4503956 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219039
@@ Property / cites work: Q4219039 / 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 @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank