Gardner, W. B., Gumtie, A., & Carter, J. D. (2015, August). Supporting Selective Formalism in CSP++ with Process-Specific Storage. 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems, 1057-1065. https://doi.org/10.1109/HPCC-CSS-ICESS.2015.265
Chicago-Zitierstil (17. Ausg.)Gardner, William B., Alicia Gumtie, und John D. Carter. "Supporting Selective Formalism in CSP++ with Process-Specific Storage." 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems Aug. 2015: 1057-1065. https://doi.org/10.1109/HPCC-CSS-ICESS.2015.265.
MLA-Zitierstil (9. Ausg.)Gardner, William B., et al. "Supporting Selective Formalism in CSP++ with Process-Specific Storage." 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems, Aug. 2015, pp. 1057-1065, https://doi.org/10.1109/HPCC-CSS-ICESS.2015.265.