2014-01-01
Decidability problems for actor systems
Publication
Publication
Logical Methods in Computer Science
,
Volume 10
-
Issue 4
| Additional Metadata | |
|---|---|
| THEME | Software (theme 1) |
| Publisher | Int. Fed. of Computational Logic |
| Persistent URL | dx.doi.org/10.2168/LMCS-10(4:5)2014 |
| Journal | Logical Methods in Computer Science |
| Citation |
de Boer, F.S, Jaghouri, M.M, Laneve, C, & Zavattaro, G. (2014). Decidability problems for actor systems. Logical Methods in Computer Science, 10(4). doi:10.2168/LMCS-10(4:5)2014
|