A Formal View of Distributed User Interfaces Conference Paper 2011 Congress communication