Decidability Problems for Actor Systems

DOI10.1007/978-3-642-32940-1_39zbMath1364.68299arXiv1409.5022OpenAlexW1883943301MaRDI QIDQ5891762

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

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.5022

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Deadlock detection for actor-based coroutines

This page was built for publication: Decidability Problems for Actor Systems