Formal Specification of Spanning Tree Protocol Using ACP | Publicación