Trace Inclusion for One-Counter Nets Revisited (Q3447702): Difference between revisions

@@ Property / cites work @@
+Q4251918
@@ Property / cites work: Q4251918 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of deterministic one-counter automata is NL-complete
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Simulation Over One-counter Nets is PSPACE-Complete
+Normal rank
@@ Property / cites work @@
+Decidability of Weak Simulation on One-Counter Nets
+Normal rank
@@ Property / cites work @@
+Trace Inclusion for One-Counter Nets Revisited
@@ Property / cites work: Trace Inclusion for One-Counter Nets Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences of Pushdown Systems Are Hard
@@ Property / cites work: Equivalences of Pushdown Systems Are Hard / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Petri nets and regular processes
@@ Property / cites work: Petri nets and regular processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501545
@@ Property / cites work: Q4501545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223071
@@ Property / cites work: Q4223071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737211
@@ Property / cites work: Q4737211 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank