Search
 
loader loading subjects...
cover
Teaching Concurrency: 10 Years of Programming Projects at UCPH
Brian Vinter, Mads Ohm Larsen
135 - 156
10.3233/978-1-61499-949-2-135
Concurrent Systems Engineering Series
Volume 70: Communicating Process Architectures 2017 & 2018
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.

$35.00 / €27.50 / £22.00
Add PDF to cart