TY - RPRT TI - A Theory of RPC Calculi for Client-Server Model AU - Kwanghoon Choi AU - Byeong-Mo Chang PY - 2021 DO - 10.1016/j.jnoncrysol.2019.01.006 UR - https://arxiv.org/abs/2110.15183 ID - 2110.15183 ER -