Implementing Spi Calculus Using Nominal Techniques.

Temesghen Kahsai Marino Miculan

Published in: CiE (2008)

Keyphrases

computer algebra
automated deduction
provably correct
data mining
multiscale
expert systems