Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Kołowski, Wojciech"'
Autor:
Zamfir, Vlad, Calancea, Mihai, Diaconescu, Denisa, Kołowski, Wojciech, Moore, Brandon, Palmskog, Karl, Şerbănuţă, Traian Florin, Stay, Michael, Trufaş, Dafina, Tušil, Jan
Modeling and formally reasoning about distributed systems with faults is a challenging task. To address this problem, we propose the theory of Validating Labeled State transition and Message production systems (VLSMs). The theory of VLSMs provides a
Externí odkaz:
http://arxiv.org/abs/2202.12662
