@article {1441, title = {CiE: Programs, Proofs, Processes (Special Issue)}, journal = {Theory of Computing Systems}, volume = {51}, year = {2012}, author = {Ferreira F and L\"owe B and Mayordomo E} }