Revivals, stuckness and the hierarchy of CSP models (Q1007236): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2167354623
@@ Property / OpenAlex ID: W2167354623 / rank @@
+Normal rank
@@ Property / cites work @@
+The fixed point theory of unbounded non-determinism
+Normal rank
@@ Property / cites work @@
+Q3975027
@@ Property / cites work: Q3975027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847409
@@ Property / cites work: Q2847409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680258
@@ Property / cites work: Q3680258 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory for nondeterminism, parallelism, communication, and concurrency
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Refusal testing
@@ Property / cites work: Refusal testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714451
@@ Property / cites work: Q5714451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270078
@@ Property / cites work: Q4270078 / rank @@
+Normal rank
@@ Property / cites work @@
+Responsiveness of interoperating components
@@ Property / cites work: Responsiveness of interoperating components / rank @@
+Normal rank
@@ Property / cites work @@
+Responsiveness and stable revivals
@@ Property / cites work: Responsiveness and stable revivals / rank @@
+Normal rank
@@ Property / cites work @@
+An Alternative Order for the Failures Model
@@ Property / cites work: An Alternative Order for the Failures Model / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded Non-determinism in CSP
@@ Property / cites work: Unbounded Non-determinism in CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating Sequential Processes. The First 25 Years
+Normal rank
@@ Property / cites work @@
+Confluence Thanks to Extensional Determinism
@@ Property / cites work: Confluence Thanks to Extensional Determinism / rank @@
+Normal rank
@@ Property / cites work @@
+The Three Platonic Models of Divergence-Strict CSP
+Normal rank
@@ Property / cites work @@
+The Stable Revivals Model in CSP-Prover
@@ Property / cites work: The Stable Revivals Model in CSP-Prover / rank @@
+Normal rank