A Trace Based Bisimulation for the Spi Calculus

Published in: CoRR (2009)

Keyphrases

formal language
automated deduction
image sequences
database query languages
timed automata
real time
databases
neural network
expressive power
algebraic structure