Decidability Problems for Actor Systems (2012)

by F de Boer, M Jaghoori, C Laneve, G Zavattaro
Venue:In Concurrency Theory - 23rd International Conference, CONCUR 2012, volume 7454 of Lecture Notes in Computer Science