Decidability problems for actor systems

2014-12-04

Logical Methods in Computer Science , Volume 10 - Issue 4 p. 5:1- 5:29

Additional Metadata
THEME	Software (theme 1)
Publisher	Int. Fed. of Computational Logic
Persistent URL	doi.org/10.2168/LMCS-10(4:5)2014
Journal	Logical Methods in Computer Science
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	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.https://doi.org/10.2168/LMCS-10(4:5)2014

Publication