Name creation implements restriction in the pi-calculus.

Yoshinobu Kawabe Ken Mano Eiichi Horita Kiyoshi Kogure

Published in: Systems and Computers in Japan (2005)

Keyphrases

creation process
artificial intelligence
decision making
data structure
automated deduction
algebraic structure