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 / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6059157
@@ Property / zbMATH DE Number: 6059157 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Boolean equation system
@@ Property / zbMATH Keywords: Boolean equation system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+branching bisimulation
@@ Property / zbMATH Keywords: branching bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+labelled transition system
@@ Property / zbMATH Keywords: labelled transition system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial order reduction
@@ Property / zbMATH Keywords: partial order reduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+on-the-fly verification
@@ Property / zbMATH Keywords: on-the-fly verification / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CADP
@@ Property / describes a project that uses: CADP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAESAR_SOLVE
@@ Property / describes a project that uses: CAESAR_SOLVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2011.07.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2085384028
@@ Property / OpenAlex ID: W2085384028 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:436408