Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2011.07.004
@@ Property / DOI: 10.1016/j.scico.2011.07.004 / rank @@
-Normal rank
@@ Property / cites work @@
+Model checking and boolean graphs
@@ Property / cites work: Model checking and boolean graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A linear algorithm to solve fixed-point equations on transition systems
+Normal rank
@@ Property / cites work @@
+Q4806211
@@ Property / cites work: Q4806211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547772
@@ Property / cites work: Q4547772 / rank @@
+Normal rank
@@ Property / cites work @@
+Local model checking and protocol analysis
@@ Property / cites work: Local model checking and protocol analysis / rank @@
+Normal rank
@@ Property / cites work @@
+CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
+Normal rank
@@ Property / cites work @@
+Q4037108
@@ Property / cites work: Q4037108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536374
@@ Property / cites work: Q4536374 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence for process verification
@@ Property / cites work: Confluence for process verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518897
@@ Property / cites work: Q4518897 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelizing the \(\text{Mur}\varphi\) verifier
@@ Property / cites work: Parallelizing the \(\text{Mur}\varphi\) verifier / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Weak confluence and \(\tau\)-inertness
@@ Property / cites work: Weak confluence and \(\tau\)-inertness / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2011.07.004
@@ Property / DOI: 10.1016/J.SCICO.2011.07.004 / rank @@
+Normal rank