Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations (Q3090831): Difference between revisions

@@ 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/978-3-642-23217-6_14
+Normal rank
@@ Property / OpenAlex ID @@
+W174890186
@@ Property / OpenAlex ID: W174890186 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+An Infinite Automaton Characterization of Double Exponential Time
+Normal rank
@@ Property / cites work @@
+Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
+Normal rank
@@ Property / cites work @@
+Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
+Normal rank
@@ Property / cites work @@
+Interprocedural Analysis of Concurrent Programs Under a Context Bound
+Normal rank
@@ Property / cites work @@
+The tree width of auxiliary storage
@@ Property / cites work: The tree width of auxiliary storage / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3090831