Proceedings of the Fourth York Doctoral Symposium on Computer Science Department of Computer Science, The University of York, UK 20th October 2011 Editor: Christopher M. Poskitt Copyright © 2011 by the authors.