Decidability of a partial order based temporal logic (Q4630294): Difference between revisions

@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Models and logics for true concurrency.
@@ Property / cites work: Models and logics for true concurrency. / rank @@
+Normal rank
@@ Property / cites work @@
+TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
+Normal rank
@@ Property / cites work @@
+A Perspective in Theoretical Computer Science
@@ Property / cites work: A Perspective in Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832541
@@ Property / cites work: Q3832541 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4733387
@@ Property / cites work: Q4733387 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank