Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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/rapportKonferencebidrag i proceedingsForskningfagfæ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 -

ID: 241374288