EPTCS 27 - DCDP 2010