@INPROCEEDINGS{morandi-et-al:2013:prototyping, author = {Morandi, Benjamin and Schill, Mischael and Nanz, Sebastian and Meyer, Bertrand}, title = {Prototyping a Concurrency Model}, booktitle = {Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD 2013)}, year = {2013}, publisher = {IEEE}, pages = {177-186}, urltopdf = {http://se.inf.ethz.ch/people/morandi/publications/prototyping.pdf} }