Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus. - Keishi Watanabe; Shin-ya Nishizaki (J. Softw., 2017)