Keishi Watanabe

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Post Processing

Top Venues

Publications

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