Spi Calculus Translated to ?--Calculus Preserving May-Tests.

Michael Baldamus Joachim Parrow Björn Victor

Published in: LICS (2004)

Keyphrases

relational calculus
databases
computer algebra
decision trees
expert systems
expressive power
formal language
automated deduction
algebraic structure
provably correct
timed automata