Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus.

Keishi Watanabe Shin-ya Nishizaki

Published in: J. Softw. (2017)

Keyphrases

post processing
multi step

real time
data mining

information systems
knowledge base

expert systems