@article{lmcs:1091, title = {Decidability Problems for Actor Systems}, author = {Frank De Boer and Mahdi Jaghoori and Cosimo Laneve and Gianluigi Zavattaro}, url = {https://lmcs.episciences.org/1091}, doi = {10.2168/LMCS-10(4:5)2014}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 10, Issue 4}, eid = 5, year = {2014}, month = {Dec}, keywords = {Computer Science - Programming Languages, Computer Science - Logic in Computer Science}, }