The regular viewpoint on PA-processes (Q5958465): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774929
@@ Property / cites work: Q3774929 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Regular canonical systems
@@ Property / cites work: Regular canonical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790409
@@ Property / cites work: Q4790409 / rank @@
+Normal rank
@@ Property / cites work @@
+On the regular structure of prefix rewriting
@@ Property / cites work: On the regular structure of prefix rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353915
@@ Property / cites work: Q4353915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223067
@@ Property / cites work: Q4223067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / 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 @@
+Q4222876
@@ Property / cites work: Q4222876 / rank @@
+Normal rank
@@ Property / cites work @@
+How to Parallelize sequential processes
@@ Property / cites work: How to Parallelize sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364400
@@ Property / cites work: Q4364400 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking PA-processes
@@ Property / cites work: Model checking 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite results
@@ Property / cites work: Infinite results / rank @@
+Normal rank
@@ Property / cites work @@
+Rational tree relations
@@ Property / cites work: Rational tree relations / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
+Normal rank
@@ Property / cites work @@
+Q2754156
@@ Property / cites work: Q2754156 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5958465