COMPUTING SCIENCE Proceedings of Formal Aspects of Virtual Organisations 2009 Jeremy W. Bryans and John S. Fitzgerald (Eds.) TECHNICAL REPORT SERIES No. CS-TR-1176 November 2009