.png){kind=logo}
Please use this identifier to cite or link to this item:
https://hdl.handle.net/11000/35335Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Roig, Pedro Juan | - |
| dc.contributor.author | Alcaraz, Salvador | - |
| dc.contributor.author | Gilly, Katja | - |
| dc.contributor.other | Departamentos de la UMH::Ingeniería de Computadores | es_ES |
| dc.date.accessioned | 2025-01-26T15:52:20Z | - |
| dc.date.available | 2025-01-26T15:52:20Z | - |
| dc.date.created | 2017 | - |
| dc.identifier.citation | Elektronika ir Elektrotechnika | es_ES |
| dc.identifier.issn | 1392-1215, | - |
| dc.identifier.uri | https://hdl.handle.net/11000/35335 | - |
| dc.description.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 | es_ES |
| dc.format | application/pdf | es_ES |
| dc.format.extent | 8 | es_ES |
| dc.language.iso | eng | es_ES |
| dc.publisher | Kauno Technologijos Universitetas | es_ES |
| dc.relation.ispartofseries | 23 | es_ES |
| dc.relation.ispartofseries | 2 | es_ES |
| dc.rights | info:eu-repo/semantics/openAccess | es_ES |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | ACP | es_ES |
| dc.subject | distributed algorithms | es_ES |
| dc.subject | formal protocol specification | es_ES |
| dc.subject | STP | es_ES |
| dc.subject.other | CDU::0 - Generalidades.::04 - Ciencia y tecnología de los ordenadores. Informática. | es_ES |
| dc.title | Formal Specification of Spanning Tree Protocol Using ACP | es_ES |
| dc.type | info:eu-repo/semantics/article | es_ES |
| dc.relation.publisherversion | https://doi.org/10.5755/j01.eie.23.2.18005 | es_ES |
View/Open:
Formal Specification of Spanning Tree Protocol Using ACP.pdf
458,85 kB
Adobe PDF
Share:
