Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu. Formal Modeling and Analysis of the REST Architecture Using CSP. In Maurice H. ter Beek, Niels Lohmann, editors, Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Volume 7843 of Lecture Notes in Computer Science, pages 87-102, Springer, 2012. [doi]
Abstract is missing.