Decidability problems for actor systems

2014-01-01

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 APA Style AAA Style APA 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.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

Publication