Media type: E-Article Title: Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus Contributor: Watanabe, Keishi; Nishizaki, Shin-ya imprint: International Academy Publishing (IAP), 2017 Published in: Journal of Software Language: Not determined DOI: 10.17706/jsw.12.7.570-580 ISSN: 1796-217X Keywords: Artificial Intelligence ; Human-Computer Interaction ; Software Origination: Footnote: Access State: Open Access