Luca Aceto Anna Ingólfsdóttir Kim Guldstrand Larsen Jirí Srba Teaching Concurrency: Theory in Practice. 158-175 2009 TFM http://dx.doi.org/10.1007/978-3-642-04912-5_11 conf/tfm/2009 db/conf/tfm/tfm2009.html#AcetoILS09