@misc{indiciae0aed46c074c8,
  title = {A Theory of RPC Calculi for Client-Server Model},
  author = {Kwanghoon Choi and Byeong-Mo Chang},
  year = {2021},
  doi = {10.1016/j.jnoncrysol.2019.01.006},
  url = {https://arxiv.org/abs/2110.15183},
  note = {Source identifier: 2110.15183}
}