Elsevier
Electronic Notes in Theoretical Computer Science
Computer Security

Baeten, J., Cuijpers, P. J. L., & van Tilburg, P. (2009). A Basic Parallel Process as a Parallel Pushdown Automaton. Electronic Notes in Theoretical Computer Science, 242(1), 35–48.