Treffer: Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.
Title:
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.
Authors:
Source:
Stabilization, Safety & Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings; 2015, p156-170, 15p
Database:
Complementary Index