Symbolic Bisimulation for the Applied Pi Calculus.

Stéphanie Delaune Steve Kremer Mark Ryan

Published in: FSTTCS (2007)

Keyphrases

decision making
real time
data sets
case study
image segmentation
high level
database systems