ACM SIGMETRICS Performance Evaluation Review
ACM Transactions on Computer Systems (TOCS)
A Generic Mean Field Convergence Result for Systems of Interacting Objects
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Applying formal methods to gossiping networks with mCRL and groove
ACM SIGMETRICS Performance Evaluation Review
Analysis of a gossip protocol in PRISM
ACM SIGMETRICS Performance Evaluation Review
A view-probability-matrix approach to the modelling of gossiping protocols
ACM SIGMETRICS Performance Evaluation Review
MeanField analysis for the evaluation of gossip protocols
ACM SIGMETRICS Performance Evaluation Review
Gossip-based clock synchronization for large decentralized systems
SelfMan'06 Proceedings of the Second IEEE international conference on Self-Managed Networks, Systems, and Services
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
| Hi-index | 0.00 |