2014-12-04
Decidability problems for actor systems
Publication
Publication
Logical Methods in Computer Science , Volume 10 - Issue 4 p. 5:1- 5:29
Additional Metadata | |
---|---|
Int. Fed. of Computational Logic | |
doi.org/10.2168/LMCS-10(4:5)2014 | |
Logical Methods in Computer Science | |
Organisation | Computer Security |
de Boer, F., Jaghoori, M. M., Laneve, C., & Zavattaro, G. (2014). Decidability problems for actor systems. Logical Methods in Computer Science, 10(4), 5:1–5:29. doi:10.2168/LMCS-10(4:5)2014 |