A formalisation of consistent consequence for Boolean equation systems (Q1687766): Difference between revisions

@@ Property / cites work @@
+Abstraction in Fixpoint Logic
@@ Property / cites work: Abstraction in Fixpoint Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of the mCRL2 Toolset and Its Recent Advances
+Normal rank
@@ Property / cites work @@
+Compositional verification of asynchronous concurrent systems using CADP
+Normal rank
@@ Property / cites work @@
+Consistent Consequence for Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Liveness Analysis for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations
+Normal rank