Standard
Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs. / Marchant, David; Johnsen, Carl-Johannes; Vinter, Brian; Skovhede, Kenneth.
2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC). Denver, USA : IEEE, 2019. 19243789.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Marchant, D, Johnsen, C-J, Vinter, B & Skovhede, K 2019,
Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs. i
2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC)., 19243789, IEEE, Denver, USA.
https://doi.org/10.1109/EduHPC49559.2019.00012
APA
Marchant, D., Johnsen, C-J., Vinter, B., & Skovhede, K. (2019).
Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs. I
2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC) [19243789] IEEE.
https://doi.org/10.1109/EduHPC49559.2019.00012
Vancouver
Marchant D, Johnsen C-J, Vinter B, Skovhede K.
Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs. I 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC). Denver, USA: IEEE. 2019. 19243789
https://doi.org/10.1109/EduHPC49559.2019.00012
Author
Marchant, David ; Johnsen, Carl-Johannes ; Vinter, Brian ; Skovhede, Kenneth. / Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs. 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC). Denver, USA : IEEE, 2019.
Bibtex
@inproceedings{c279e51c14f14a05a70ccff912d6115b,
title = "Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs",
keywords = "Concurrent, Parallel, CSP, SME, ZeroMQ, Teaching, Concepts",
author = "David Marchant and Carl-Johannes Johnsen and Brian Vinter and Kenneth Skovhede",
year = "2019",
doi = "10.1109/EduHPC49559.2019.00012",
language = "English",
booktitle = "2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC)",
publisher = "IEEE",
}
RIS
TY - GEN
T1 - Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs
AU - Marchant, David
AU - Johnsen, Carl-Johannes
AU - Vinter, Brian
AU - Skovhede, Kenneth
PY - 2019
Y1 - 2019
KW - Concurrent
KW - Parallel
KW - CSP
KW - SME
KW - ZeroMQ
KW - Teaching
KW - Concepts
U2 - 10.1109/EduHPC49559.2019.00012
DO - 10.1109/EduHPC49559.2019.00012
M3 - Article in proceedings
BT - 2019 IEEE/ACM Workshop on Education for High-Performance Computing (EduHPC)
PB - IEEE
CY - Denver, USA
ER -