Infinite trace equivalence.

Paul Blain Levy

Published in: GALOP@ETAPS (2005)

Keyphrases

real world
interactive dynamic influence diagrams
multimedia
equivalence relation
finite sets
execution traces
database
search engine
case study
multiscale
data structure