Formalization and analysis of the REST architecture from the process algebra perspective

Xi Wu 0001, Huibiao Zhu. Formalization and analysis of the REST architecture from the process algebra perspective. Future Generation Comp. Syst., 56:153-168, 2016. [doi]

Abstract

Abstract is missing.