Login / Signup
Computational Soundness Results for Stateful Applied pi Calculus.
Jianxiong Shao
Yu Qin
Dengguo Feng
Published in:
CoRR (2016)
Keyphrases
</>
decision making
objective function
data structure
multi agent systems