2015
Coordinating multicore computing
Publication
Publication
Presented at the
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy
| Additional Metadata | |
|---|---|
| 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 | |
| Organisation | Computer Security |
|
Arbab, F., & Jongmans, S. (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 |
|