An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages (Q1276242): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic congruence for rational \(\omega\)-languages
+Normal rank
@@ Property / cites work @@
+Rational and recognizable complex trace languages
@@ Property / cites work: Rational and recognizable complex trace languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037382
@@ Property / cites work: Q4037382 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of distributed programs using representative interleaving sequences
+Normal rank
@@ Property / cites work @@
+Event fairness and non-interleaving concurrency
@@ Property / cites work: Event fairness and non-interleaving concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3752578
@@ Property / cites work: Q3752578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954457
@@ Property / cites work: Q4954457 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining partial-order reductions with on-the-fly model-checking.
+Normal rank
@@ Property / cites work @@
+Proving partial order properties
@@ Property / cites work: Proving partial order properties / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithmic approach for checking closure properties of Ω-regular languages
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+An expressively complete linear time temporal logic for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+A stubborn attack on state explosion
@@ Property / cites work: A stubborn attack on state explosion / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1276242