Especificación Formal Algebraica del Protocolo Spanning Tree Conference Paper 2018 Congress communication uri icon