@PhdThesis{morandi:2014:thesis, author = {Benjamin Morandi}, title = {Prototyping a Concurrency Model}, school = {ETH Zurich}, year = {2014}, urltopdf = {http://se.inf.ethz.ch/people/morandi/publications/thesis.pdf} }