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

@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / 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/978-3-319-66107-0_29
+Normal rank
@@ Property / OpenAlex ID @@
+W2749282081
@@ Property / OpenAlex ID: W2749282081 / rank @@
+Normal rank
@@ 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