Descripción Formal de Propiedades Esenciales de las Interfaces de Usuario Distribuidas Conference Paper 2011 Congress communication