Software (theme 1)
Springer
International Conference on Concurrency Theory
Computer Security

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