Additional Metadata
THEME Software (theme 1)
Publisher Int. Fed. of Computational Logic
Persistent URL dx.doi.org/10.2168/LMCS-10(4:5)2014
Journal Logical Methods in Computer Science
Citation
de Boer, F.S, Jaghouri, M.M, Laneve, C, & Zavattaro, G. (2014). Decidability problems for actor systems. Logical Methods in Computer Science, 10(4). doi:10.2168/LMCS-10(4:5)2014