Browse Research and Tech Reports - Computer Science by Contributor "Parlato, Gennaro"

  • Madhusudan, P. (2010)
    We propose a generalization of results on the decidability of emptiness for several restricted classes of sequential and distributed automata with auxiliary storage (stacks, queues) that have recently been proved. Our ...

    application/pdf

    application/pdfPDF (249kB)