Computational Soundness Results for Stateful Applied π Calculus.

Jianxiong Shao Yu Qin Dengguo Feng

Published in: POST (2016)

Keyphrases

real world
decision making
knowledge base
multimedia
clustering algorithm
case study
optimal solution