Additional Metadata
THEME Software (theme 1)
Publisher Springer
Persistent URL dx.doi.org/10.1007/978-3-319-18941-3_2
Series Lecture Notes in Computer Science
Conference International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Citation
Arbab, F, & Jongmans, S.-S.T.Q. (2015). Coordinating multicore computing. In Proceedings of International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2015 (SFM 0) (pp. 57–96). Springer. doi:10.1007/978-3-319-18941-3_2