TY  - JOUR
AU  - Juan Roig, Pedro
AU  - Alcaraz, Salvador
AU  - Gilly, Katja
PY  - 2017/04/20
Y2  - 2025/01/01
TI  - Formal Specification of Spanning Tree Protocol Using ACP
JF  - Elektronika ir Elektrotechnika
JA  - ELEKTRON ELEKTROTECH
VL  - 23
IS  - 2
SE  - 
DO  - 10.5755/j01.eie.23.2.18005
UR  - https://eejournal.ktu.lt/index.php/elt/article/view/18005
SP  - 84-91
AB  - &lt;p&gt;Spanning-Tree Protocol (STP) has nowadays been implemented by most manufacturers in order to avoid loops in bridged networks. IEEE 802.1D STP is the original standard and it is run as a distributed algorithm by every bridge. In this paper we propose a formal specification of that STP by using a Process Algebra named Algebra of Communicating Processes (ACP), following a manual approach. Furthermore, STP protocol verification has been performed, both in a formal and in an informal way.&lt;/p&gt;&lt;p&gt;DOI: &lt;a href=&quot;http://dx.doi.org/10.5755/j01.eie.23.2.18005&quot;&gt;http://dx.doi.org/10.5755/j01.eie.23.2.18005&lt;/a&gt;&lt;/p&gt;
ER  -