@article{Juan Roig_Alcaraz_Gilly_2017, title={Formal Specification of Spanning Tree Protocol Using ACP}, volume={23}, url={https://eejournal.ktu.lt/index.php/elt/article/view/18005}, DOI={10.5755/j01.eie.23.2.18005}, abstractNote={<p>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.</p><p>DOI: <a href="http://dx.doi.org/10.5755/j01.eie.23.2.18005">http://dx.doi.org/10.5755/j01.eie.23.2.18005</a></p>}, number={2}, journal={Elektronika ir Elektrotechnika}, author={Juan Roig, Pedro and Alcaraz, Salvador and Gilly, Katja}, year={2017}, month={Apr.}, pages={84-91} }