@inproceedings{CTT100787062,
  author = {Shota Araki and Shin-ya Nishizaki},
  title = {CALL-BY-NAME EVALUATION OF RPC AND RMI CALCULI},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}