Quasi-Birth–Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis

Performance Evaluation · 2010 · 38 citations · 32 references

DOIFull text

Open access

Concepts

References

32