1. UMH: Repositorio RediUMH
  2. Investigación
  3. Departamentos UMH
  4. INGENIERÍA DE COMPUTADORES
  5. Artículos Ingeniería de computadores
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/11000/35335
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.authorRoig, Pedro Juan-
dc.contributor.authorAlcaraz, Salvador-
dc.contributor.authorGilly, Katja-
dc.contributor.otherDepartamentos de la UMH::Ingeniería de Computadoreses_ES
dc.date.accessioned2025-01-26T15:52:20Z-
dc.date.available2025-01-26T15:52:20Z-
dc.date.created2017-
dc.identifier.citationElektronika ir Elektrotechnikaes_ES
dc.identifier.issn1392-1215,-
dc.identifier.urihttps://hdl.handle.net/11000/35335-
dc.description.abstractSpanning-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 wayes_ES
dc.formatapplication/pdfes_ES
dc.format.extent8es_ES
dc.language.isoenges_ES
dc.publisherKauno Technologijos Universitetases_ES
dc.relation.ispartofseries23es_ES
dc.relation.ispartofseries2es_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectACPes_ES
dc.subjectdistributed algorithmses_ES
dc.subjectformal protocol specificationes_ES
dc.subjectSTPes_ES
dc.subject.otherCDU::0 - Generalidades.::04 - Ciencia y tecnología de los ordenadores. Informática.es_ES
dc.titleFormal Specification of Spanning Tree Protocol Using ACPes_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.relation.publisherversionhttps://doi.org/10.5755/j01.eie.23.2.18005es_ES
Aparece en las colecciones:
Artículos Ingeniería de computadores


Vista previa

Ver/Abrir:
 Formal Specification of Spanning Tree Protocol Using ACP.pdf

458,85 kB
Adobe PDF
Compartir:
Mostrar el registro sencillo del ítem  Ver estadísticas


Creative Commons La licencia se describe como: Atribución-NonComercial-NoDerivada 4.0 Internacional.