Research on the Realizability of Microservice Interaction Contract Based on CSP#. - Ruiqiong Wu; Qing Duan; Fei Dai 002; Hongji Yang; Yi Zhang; Biseng Xie (COMPSAC (2), 2019)