Zobrazeno 1 - 1
of 1
pro vyhledávání: '"358"'
Autor:
Bolotov, Alexander
Publikováno v:
EPTCS 358, 2022, pp. 254-269
With the emerging applications that involve complex distributed systems branching-time specifications are specifically important as they reflect dynamic and non-deterministic nature of such applications. We describe the expressive power of a simple y
Externí odkaz:
http://arxiv.org/abs/2204.06736