Paper Details

Communicating Process Architectures (CPA)
 Title: Teaching Concurrency: 10 Years of Programming Projects at UCPH
 Conference: Communicating Process Architectures 2017
 Authors: Brian Vinter, Mads Ohm Larsen
Niels Bohr Institute, University of Copenhagen
 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: process oriented programming. For the last decade UCPH has been teaching CSP as a mix of the two, including both the formal aspects and process oriented programming. The present paper summarises 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. 
Files:


BibTeX Entry


Full paper


Presentation