On Slicing a Distributed Computation
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Detecting global predicates in distributed systems with clocks
Distributed Computing
Modeling and analyzing periodic distributed computations
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Modeling, analyzing and slicing periodic distributed computations
Information and Computation
| Hi-index | 0.01 |