Translating Pi-Calculus into LOTOS NT.

Radu Mateescu Gwen Salaün

Published in: IFM (2010)

Keyphrases

temporal ordering
artificial intelligence
data sets
computer vision
similarity measure
automated deduction
computer algebra
sequent calculus