Springer
International Conference on Concurrency Theory
Computer Security

de Boer, F., Laneve, C., & Zavattaro, G. (2012). Decidability Problems for Actor Systems. In Proceedings of International Conference on Concurrency Theory 2012. Springer.