Decidable first-order transition logics for PA-processes (Q2575856): Difference between revisions

@@ Property / cites work @@
+Parametric temporal logic for “model measuring”
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508292
@@ Property / cites work: Q4508292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270062
@@ Property / cites work: Q4270062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353915
@@ Property / cites work: Q4353915 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452051
@@ Property / cites work: Q4452051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771057
@@ Property / cites work: Q2771057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938637
@@ Property / cites work: Q4938637 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimulation-like equivalences with finite-state processes
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+How to Parallelize sequential processes
@@ Property / cites work: How to Parallelize sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150206
@@ Property / cites work: Q3150206 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular viewpoint on PA-processes
@@ Property / cites work: The regular viewpoint on PA-processes / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau methods for PA-processes
@@ Property / cites work: Tableau methods for PA-processes / rank @@
+Normal rank
@@ Property / cites work @@
+Process rewrite systems.
@@ Property / cites work: Process rewrite systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking with the temporal logic EF
+Normal rank
@@ Property / cites work @@
+Basic theory of feature trees
@@ Property / cites work: Basic theory of feature trees / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite results
@@ Property / cites work: Infinite results / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Finite tree automata with cost functions
@@ Property / cites work: Finite tree automata with cost functions / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank