Login / Signup

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

Keishi WatanabeShin-ya Nishizaki
Published in: J. Softw. (2017)
Keyphrases
  • post processing
  • multi step
  • real time
  • data mining
  • information systems
  • knowledge base
  • expert systems