Submitted by kmec on Thu, 04/08/2010 - 00:00 type: Invited talk Birmingham University, Dept of Computer Science, J.Steil, Talk on 08/04/2010