Simulation relations for fault-tolerance (Q1688554): Difference between revisions

@@ Property / describes a project that uses @@
+Rodin
@@ Property / describes a project that uses: Rodin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-017-0426-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2603330110
@@ Property / OpenAlex ID: W2603330110 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of fault-tolerant concurrent programs
@@ Property / cites work: Synthesis of fault-tolerant concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance
+Normal rank
@@ Property / cites work @@
+Engineering and theoretical underpinnings of retrenchment
+Normal rank
@@ Property / cites work @@
+Distributed cooperation with action systems
@@ Property / cites work: Distributed cooperation with action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based construction and verification of critical systems using composition and partial refinement
+Normal rank
@@ Property / cites work @@
+Q4494260
@@ Property / cites work: Q4494260 / rank @@
+Normal rank
@@ Property / cites work @@
+dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906386
@@ Property / cites work: Q3906386 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
+Normal rank
@@ Property / cites work @@
+A theory for observational fault tolerance
@@ Property / cites work: A theory for observational fault tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+A Temporal Logic of Robustness
@@ Property / cites work: A Temporal Logic of Robustness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293540
@@ Property / cites work: Q4293540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998465
@@ Property / cites work: Q3998465 / rank @@
+Normal rank
@@ Property / cites work @@
+The Byzantine Generals Problem
@@ Property / cites work: The Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223603
@@ Property / cites work: Q4223603 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1688554