Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
A safety system event structure model is designed as a mathematical foundation of the proposed algorithm for the determination of causal dependencies of function execution. Using the property of transitivity and probability for sending the synhronisation messages implementing the discovered causal dependencies, or redundancies in a distributed system specification a more efficient protocol can be derived. The described algorithm is completed with a system service specification and protocol calculation.
Słowa kluczowe
Rocznik
Tom
Strony
105--118
Opis fizyczny
Bibliogr. 4 poz., wykr.
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-PWA2-0013-0013