On Bisimulations for the Spi Calculus.

Johannes Borgström Uwe Nestmann

Published in: AMAST (2002)

Keyphrases

automated deduction
algebraic structure
computer algebra
databases
real time
data mining
feature selection
knowledge base
expert systems
probabilistic model
formal language
proof procedure
relation algebra