The Stable Revivals Model in CSP-Prover (Q5178981): Difference between revisions

@@ Property / cites work @@
+Communicating sequential processes. The first 25 years. Symposium on the occasion of 25 years of CSP, London, UK, July 7--8, 2004. Revised invited papers
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+A Complete Axiomatic Semantics for the CSP Stable-Failures Model
+Normal rank
@@ Property / cites work @@
+Proof Principles of CSP – CSP-Prover in Practice
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Responsiveness of interoperating components
@@ Property / cites work: Responsiveness of interoperating components / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863863
@@ Property / cites work: Q2863863 / rank @@
+Normal rank