Additional Metadata
THEME Software (theme 1)
Publisher Springer
Conference International Conference on Concurrency Theory
Citation
de Boer, F.S, Laneve, C, & Zavattaro, G. (2012). Decidability Problems for Actor Systems. In Proceedings of International Conference on Concurrency Theory 2012. Springer.