Chin-Tser Huang, Vipul Gupta. Modeling and Automating Analysis of Server Duty and Client Obligation for High Assurance. In 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), Macau, China, June 18-21, 2012. pages 409-416, IEEE Computer Society, 2012. [doi]
Abstract is missing.