Formalization and Verification of REST on HTTP Using CSP

Representational State Transfer (REST), as a promising software architecture style, has been used in large scale since proposed. But considerable confusions about REST exist and many examples of su...