Rebeca: Theory, applications, and tools
M Sirjani - International Symposium on Formal Methods for …, 2006 - Springer
Rebeca is an actor-based language with a formal foundation for modeling concurrent and
distributed systems which is designed in an effort to bridge the gap between formal …
distributed systems which is designed in an effort to bridge the gap between formal …
Symmetry and partial order reduction techniques in model checking Rebeca
Rebeca is an actor-based language with formal semantics which is suitable for modeling
concurrent and distributed systems and protocols. Due to its object model, partial order and …
concurrent and distributed systems and protocols. Due to its object model, partial order and …
[PDF][PDF] Modular Verification of a Component-Based Actor Language.
M Sirjani, FS de Boer… - J. Univers. Comput …, 2005 - researchgate.net
Rebeca is an actor-based language for modeling concurrent and distributed systems as a
set of reactive objects which communicate via asynchronous message passing. Rebeca is …
set of reactive objects which communicate via asynchronous message passing. Rebeca is …
Formal specification of spanning tree protocol using ACP
PJ Roig, S Alcaraz, K Gilly - Elektronika ir Elektrotechnika, 2017 - eejournal.ktu.lt
Abstract Spanning-Tree Protocol (STP) has nowadays been implemented by most
manufacturers in order to avoid loops in bridged networks. IEEE 802.1 D STP is the original …
manufacturers in order to avoid loops in bridged networks. IEEE 802.1 D STP is the original …
[PDF][PDF] Ant Colony Optimization Algorithm for Optimal Network Path Selection and Deployment of Emulated Branched Test Environments
O Yaroshevska, V Kirova… - 24 …, 2024 - monami.hs-mittweida.de
This article shows the possibilities of using the Ant Colony Optimization algorithm to find the
shortest path in the communication networks. The Mininet emulator is studied as a platform …
shortest path in the communication networks. The Mininet emulator is studied as a platform …
Utilizando Spanning Tree Protocol como uma estratégia para melhoramento da rede do campus
RQ Lima, RN de Oliveira - Anais do Encontro Anual de Tecnologia …, 2021 - anais.eati.info
Resumo importância das redes de computadores para instituições tornou-se notória ao
decorrer do tempo: o envio e recebimento de informações por parte dos funcionários, o …
decorrer do tempo: o envio e recebimento de informações por parte dos funcionários, o …
[PDF][PDF] Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).
In the IEEE 802.1 D standard for the Media Access Control layer (MAC layer) bridges, there
is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed by …
is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed by …
[PDF][PDF] REPORT SEN-R0704 JULY 2007
Rebeca is an actor-based language with formal semantics that can be used in modeling
concurrent and distributed software and protocols. In this paper, we study the application of …
concurrent and distributed software and protocols. In this paper, we study the application of …