Decidability Problems for Actor Systems
- Author(s):
- Boer, F.S. de; Jaghoori, M.M.; Laneve, C.; Zavattaro, G.
- Published
- 2014
- Publication type
- Article / Letter to editor
- Date issued
- 2014
- Language
- English
- Is part of
- Logical Methods in Computer Science (2014), Vol. 10, no. 4:5, p. 1-29
- hdl
- 1887/56107
- doi
- 10.2168/LMCS-10(4:5)2014
- URL
- https://arxiv.org/abs/1409.5022
