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

@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / 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.1007/3-540-56939-1_104
+Normal rank
@@ Property / OpenAlex ID @@
+W1488330382
@@ Property / OpenAlex ID: W1488330382 / rank @@
+Normal rank
@@ 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