A New-type Pi Calculus with Buffers and Its Bisimulation.

Hui Kang Zhi Wang Shuang Zhang Fang Mei

Published in: J. Comput. (2012)

Keyphrases

type checking
machine learning
artificial intelligence
real time
databases
data mining
case study
optimal solution
probabilistic model