Standard
Teaching concurrency : 10 years of programming projects at UCPH. / Vinter, Brian; Larsen, Mads Ohm.
Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). ed. / Jan Baekgaard Pedersen; Kevin Chalmers; Jan F. Broenink; Brian Vinter; Kevin Vella; Peter H. Welch; Marc L. Smith; Kenneth Skovhede. IMIA and IOS Press, 2019. p. 135-156 (Concurrent Systems Engineering Series, Vol. 70).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Vinter, B & Larsen, MO 2019,
Teaching concurrency: 10 years of programming projects at UCPH. in JB Pedersen, K Chalmers, JF Broenink, B Vinter, K Vella, PH Welch, ML Smith & K Skovhede (eds),
Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). IMIA and IOS Press, Concurrent Systems Engineering Series, vol. 70, pp. 135-156, 39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018, Dresden, Germany,
19/08/2018.
https://doi.org/10.3233/978-1-61499-949-2-135APA
Vinter, B., & Larsen, M. O. (2019).
Teaching concurrency: 10 years of programming projects at UCPH. In J. B. Pedersen, K. Chalmers, J. F. Broenink, B. Vinter, K. Vella, P. H. Welch, M. L. Smith, & K. Skovhede (Eds.),
Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40) (pp. 135-156). IMIA and IOS Press. Concurrent Systems Engineering Series Vol. 70
https://doi.org/10.3233/978-1-61499-949-2-135Vancouver
Vinter B, Larsen MO.
Teaching concurrency: 10 years of programming projects at UCPH. In Pedersen JB, Chalmers K, Broenink JF, Vinter B, Vella K, Welch PH, Smith ML, Skovhede K, editors, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). IMIA and IOS Press. 2019. p. 135-156. (Concurrent Systems Engineering Series, Vol. 70).
https://doi.org/10.3233/978-1-61499-949-2-135Author
Vinter, Brian ; Larsen, Mads Ohm. / Teaching concurrency : 10 years of programming projects at UCPH. Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). editor / Jan Baekgaard Pedersen ; Kevin Chalmers ; Jan F. Broenink ; Brian Vinter ; Kevin Vella ; Peter H. Welch ; Marc L. Smith ; Kenneth Skovhede. IMIA and IOS Press, 2019. pp. 135-156 (Concurrent Systems Engineering Series, Vol. 70).
Bibtex
@inproceedings{92f48306eab043b789f95380bed1807b,
title = "Teaching concurrency: 10 years of programming projects at UCPH",
abstract = "While CSP is traditionally taught as an algebra, with a focus on definitions and proofs, it may also be presented as a style of programming, that is process-oriented programming. For the last decade University of Copenhagen (UCPH) has been teaching CSP as a mix of the two, including both the formal aspects and process-oriented programming. This paper summarized the work that has been made to make process-oriented programming relevant to students, through programming assignments where process orientation is clearly simpler than an equivalent solution in imperative programming style.",
keywords = "Concurrency, Teaching",
author = "Brian Vinter and Larsen, {Mads Ohm}",
year = "2019",
doi = "10.3233/978-1-61499-949-2-135",
language = "English",
series = "Concurrent Systems Engineering Series",
publisher = "IMIA and IOS Press",
pages = "135--156",
editor = "Pedersen, {Jan Baekgaard} and Kevin Chalmers and Broenink, {Jan F.} and Brian Vinter and Kevin Vella and Welch, {Peter H.} and Smith, {Marc L.} and Kenneth Skovhede",
booktitle = "Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40)",
note = "39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018 ; Conference date: 19-08-2018 Through 22-08-2018",
}
RIS
TY - GEN
T1 - Teaching concurrency
T2 - 39th WoTUG Conference on Communicating Process Architectures, CPA 2017 and 40th WoTUG Conference on Communicating Process Architectures, CPA 2018
AU - Vinter, Brian
AU - Larsen, Mads Ohm
PY - 2019
Y1 - 2019
N2 - While CSP is traditionally taught as an algebra, with a focus on definitions and proofs, it may also be presented as a style of programming, that is process-oriented programming. For the last decade University of Copenhagen (UCPH) has been teaching CSP as a mix of the two, including both the formal aspects and process-oriented programming. This paper summarized the work that has been made to make process-oriented programming relevant to students, through programming assignments where process orientation is clearly simpler than an equivalent solution in imperative programming style.
AB - While CSP is traditionally taught as an algebra, with a focus on definitions and proofs, it may also be presented as a style of programming, that is process-oriented programming. For the last decade University of Copenhagen (UCPH) has been teaching CSP as a mix of the two, including both the formal aspects and process-oriented programming. This paper summarized the work that has been made to make process-oriented programming relevant to students, through programming assignments where process orientation is clearly simpler than an equivalent solution in imperative programming style.
KW - Concurrency
KW - Teaching
U2 - 10.3233/978-1-61499-949-2-135
DO - 10.3233/978-1-61499-949-2-135
M3 - Article in proceedings
AN - SCOPUS:85082385316
T3 - Concurrent Systems Engineering Series
SP - 135
EP - 156
BT - Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40)
A2 - Pedersen, Jan Baekgaard
A2 - Chalmers, Kevin
A2 - Broenink, Jan F.
A2 - Vinter, Brian
A2 - Vella, Kevin
A2 - Welch, Peter H.
A2 - Smith, Marc L.
A2 - Skovhede, Kenneth
PB - IMIA and IOS Press
Y2 - 19 August 2018 through 22 August 2018
ER -
