A framework for specifying and verifying the behaviour of open systems (Q1779319): Difference between revisions

@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing syntactic and semantic action refinement
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4331846
@@ Property / cites work: Q4331846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3579033
@@ Property / cites work: Q3579033 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738168
@@ Property / cites work: Q4738168 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation by Unification*
@@ Property / cites work: Bisimulation by Unification* / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046793
@@ Property / cites work: Q3046793 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jlp/BraccialiBT05
@@ Property / DBLP publication ID: journals/jlp/BraccialiBT05 / rank @@
+Normal rank