Decidability Problems for Actor Systems.

Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro

Browse the full CONCUR paper archive.