Teaching Concurrency Concepts to Freshmen

Authors:
Christian Eisentraut;Holger Hermanns
Affiliations:
Department of Computer Science, Saarland University, Saarbrücken, Germany 66123;Department of Computer Science, Saarland University, Saarbrücken, Germany 66123
Venue:
Transactions on Petri Nets and Other Models of Concurrency I
Year:
2008

Citing 20
Cited 0

Communicating sequential processes

Communicating sequential processes
Event structures

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
A system for teaching concurrent programming

SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Teaching concurrency with Joyce and Linda

SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
CSP laboratory

SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
An integrated course on parallel and distributed processing

SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Thinking parallel: the process of learning concurrency

ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Parallel computing to start the millennium

Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Concurrency: state models & Java programs

Concurrency: state models & Java programs
System Design with SystemC

System Design with SystemC
Communication and Concurrency

Communication and Concurrency
The Definition of Standard ML

The Definition of Standard ML
Java Language Specification, Second Edition: The Java Series

Java Language Specification, Second Edition: The Java Series
The Linear Time-Branching Time Spectrum (Extended Abstract)

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
The Linear Time - Branching Time Spectrum II

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
A suite of tools for teaching concurrency

Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Teaching concurrency and nondeterminism with spin

Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Modelling of Biochemical Reactions by Stochastic Automata Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concurrency phenomena are omnipresent in everyday computer practice and their understanding must therefore become a prime focus of contemporary academic education in computer science. This paper devises a concept suitable for teaching concurrency theory to first year Bachelor students in computer science. It is based on Robin Milner's Calculus of Communicating Systems, which is smoothly integrated in an introductory functional programming course. We report on a concrete instantiation of this concept in an introductory course held at Saarland University in winter 2005/2006.