Login / Signup
A pure labeled transition semantics for the applied pi calculus.
Xiaojuan Cai
Published in:
Inf. Sci. (2010)
Keyphrases
</>
training data
formal semantics
database
case study
training set
situation calculus
algebraic structure