Springer
doi.org/10.1007/978-3-319-18941-3_2
Lecture Notes in Computer Science
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Computer Security

Arbab, F.& Jongmans, S. (2015). Coordinating multicore computing. Proceedings of International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2015 (SFM 0), 57–96.https://doi.org/10.1007/978-3-319-18941-3_2