You are about to access our book library "Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings (Theoretical Computer Science and General Issues) full version" .