Q5129943 (Q5129943): Difference between revisions

@@ Property / cites work @@
+Abstraction in Fixpoint Logic
@@ Property / cites work: Abstraction in Fixpoint Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Evidence for Fixpoint Logic
@@ Property / cites work: Evidence for Fixpoint Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility of distributed consensus with one faulty process
+Normal rank
@@ Property / cites work @@
+Q4417864
@@ Property / cites work: Q4417864 / rank @@
+Normal rank
@@ Property / cites work @@
+Cones and foci: A mechanical framework for protocol verification
+Normal rank
@@ Property / cites work @@
+Specification Guidelines to Avoid the State Space Explosion Problem
+Normal rank
@@ Property / cites work @@
+Q4250361
@@ Property / cites work: Q4250361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3191614
@@ Property / cites work: Q3191614 / rank @@
+Normal rank
@@ Property / cites work @@
+Focus points and convergent process operators: A proof strategy for protocol verification
+Normal rank
@@ Property / cites work @@
+Model-checking processes with data
@@ Property / cites work: Model-checking processes with data / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised Boolean equation systems
@@ Property / cites work: Parameterised Boolean equation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants for parameterised Boolean equation systems
+Normal rank
@@ Property / cites work @@
+Verification of reactive systems via instantiation of parameterised Boolean equation systems
+Normal rank
@@ Property / cites work @@
+Branching Bisimilarity with Explicit Divergence
@@ Property / cites work: Branching Bisimilarity with Explicit Divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness Analysis for Parameterised Boolean Equation Systems
+Normal rank