2012-01-01
Decidability Problems for Actor Systems.
Publication
Publication
Presented at the
International Conference on Concurrency Theory, Newcastle
Additional Metadata | |
---|---|
THEME | Software (theme 1) |
Publisher | Springer |
Conference | International Conference on Concurrency Theory |
Citation |
de Boer, F.S, Laneve, C, & Zavattaro, G. (2012). Decidability Problems for Actor Systems. In Proceedings of International Conference on Concurrency Theory 2012. Springer.
|