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

@@ Property / DOI @@
-.1016/j.jlap.2004.05.004
@@ Property / DOI: 10.1016/j.jlap.2004.05.004 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q62046308
@@ Property / Wikidata QID: Q62046308 / 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 @@
+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
@@ Property / DOI @@
+.1016/J.JLAP.2004.05.004
@@ Property / DOI: 10.1016/J.JLAP.2004.05.004 / rank @@
+Normal rank