1 citations · 2 across the 2 of their papers we have counts for
3 papers · 1 filter
A Domain Specific Language for Testing Consensus Implementations
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra +1
Large-scale, fault-tolerant, distributed systems are the backbone for many critical software services. Since they must execute correctly in a possibly adversarial environment with…
Reducing asynchrony to synchronized rounds
Andrei Damien, Cezara Dragoi, Alexandru Militaru +1
Synchronous computation models simplify the design and the verification of fault-tolerant distributed systems. For efficiency reasons such systems are designed and implemented usin…
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
Cezara Dragoi, Gheorghe Stefanescu
Interactive systems with registers and voices (shortly, "rv-systems") are a model for interactive computing obtained closing register machines with respect to a space-time duality…