Package RelayModel
The RelayModel module gives all needed classes and functions to use the RelayModel.
For further information about the usage and structure of this module see the thesis of this module.
The module can be used to simulate distributed systems with the RelayModel. It can also be adapted to implement basic self stabilising protocols. In this module an adaption of the BuildList protocol, which forms a sorted list, is given in the SortedListNode.py file. This protocol got modified to use the RelayModel.
Expand source code
"""
The RelayModel module gives all needed classes and functions to use the RelayModel.
For further information about the usage and structure of this module see the thesis of this module.
The module can be used to simulate distributed systems with the RelayModel. It can also be adapted to implement basic
self stabilising protocols. In this module an adaption of the BuildList protocol, which forms a sorted list, is given
in the SortedListNode.py file. This protocol got modified to use the RelayModel.
"""
Sub-modules
RelayModel.CommunicationRelayModel.ConceptChangeRelayModel.GraphGenerationRelayModel.KeyGenerationRelayModel.LinkLayerRelayModel.ModuleConfigRelayModel.NodeRelayModel.RelayRelayModel.RelayIdRelayModel.RelayLayerRelayModel.RelayLoggingRelayModel.SortedListNodeRelayModel.StateMonitorRelayModel.Validation