A Multi-Core Solver for Parity Games (Q5415659): Difference between revisions

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAESAR_SOLVE
@@ Property / describes a project that uses: CAESAR_SOLVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Intel TBB
@@ Property / describes a project that uses: Intel TBB / 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.1016/j.entcs.2008.11.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2150539434
@@ Property / OpenAlex ID: W2150539434 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62047481
@@ Property / Wikidata QID: Q62047481 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of a sliding window protocol in \(\mu\) CRL and PVS
+Normal rank
@@ Property / cites work @@
+A Database Approach to Distributed State Space Generation
+Normal rank
@@ Property / cites work @@
+Q4738473
@@ Property / cites work: Q4738473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3614665
@@ Property / cites work: Q3614665 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed symbolic model checking for \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q2848151
@@ Property / cites work: Q2848151 / rank @@
+Normal rank
@@ Property / cites work @@
+CTL model checking on a shared-memory architecture
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+A deterministic subexponential algorithm for solving parity games
+Normal rank
@@ Property / cites work @@
+Algorithms for Parity Games
@@ Property / cites work: Algorithms for Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845488
@@ Property / cites work: Q2845488 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Big Steps
@@ Property / cites work: Solving Parity Games in Big Steps / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and simple nested fixpoints
@@ Property / cites work: Fast and simple nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5415659