Skip to content

Instantly share code, notes, and snippets.

Kristian Mandrup kristianmandrup

Block or report user

Report or block kristianmandrup

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
xaviervia /
Last active Jul 24, 2019
Sketch 43 files JSON types
paulgoetze /
Last active Jul 30, 2018
Codeship Elixir/Phoenix test setup
# Erlang
# Elixir
TheSeamau5 /
Created Jan 31, 2015
Investigating CSP for Elm

Communicating Sequential Processes (CSP)

CSP is one of the many ways of reasoning about concurrent systems. It emphasizes on the idea of a channel which enables communication between producers and consumers and where the channel itself is fundamentally decouple from either producers or consumers.


The easiest way of thinking about a channel is to think about a queue. A queue is very simple, it is a data structure where one may only push data to the end of a queue and may only read data from the front of the queue.

In pseudo-code:

You can’t perform that action at this time.