Risk assessment for one-counter threads (Q1015382): Difference between revisions

@@ Property / DOI @@
-.1007/s00224-007-9034-5
@@ Property / DOI: 10.1007/s00224-007-9034-5 / 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/s00224-007-9034-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2037573407
@@ Property / OpenAlex ID: W2037573407 / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized process algebra with reactive composition
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Combining programs and state machines
@@ Property / cites work: Combining programs and state machines / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for pushdown threads
@@ Property / cites work: Decision problems for pushdown threads / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457378
@@ Property / cites work: Q5457378 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning $\omega $-Machines
+Normal rank
@@ Property / cites work @@
+Q5480640
@@ Property / cites work: Q5480640 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00224-007-9034-5
@@ Property / DOI: 10.1007/S00224-007-9034-5 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1015382