Showing how to do a stock exchange in Erlang using processes and testing it with EQC.