Formal Specification of Spanning Tree Protocol Using ACP

Authors

  • Pedro Juan Roig
  • Salvador Alcaraz
  • Katja Gilly

DOI:

https://doi.org/10.5755/j01.eie.23.2.18005

Keywords:

ACP, distributed algorithms, formal protocol specification, STP

Abstract

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.

DOI: http://dx.doi.org/10.5755/j01.eie.23.2.18005

Downloads

Published

2017-04-20

How to Cite

Juan Roig, P., Alcaraz, S., & Gilly, K. (2017). Formal Specification of Spanning Tree Protocol Using ACP. Elektronika Ir Elektrotechnika, 23(2), 84-91. https://doi.org/10.5755/j01.eie.23.2.18005

Issue

Vol. 23 No. 2 (2017)

Section

TELECOMMUNICATIONS ENGINEERING

License

The copyright for the paper in this journal is retained by the author(s) with the first publication right granted to the journal. The authors agree to the Creative Commons Attribution 4.0 (CC BY 4.0) agreement under which the paper in the Journal is licensed.

By virtue of their appearance in this open access journal, papers are free to use with proper attribution in educational and other non-commercial settings with an acknowledgement of the initial publication in the journal.