A Context-Free Process as a Pushdown Automaton.

Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg

Browse the full CONCUR paper archive.