25 citations · 28 across the 3 of their papers we have counts for
1 paper · 2 filters
Vlad Zamfir, Mihai Calancea, Denisa Diaconescu +7
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 a…