Simulation Preorder over Simple Process Algebras.

Antonín Kucera Richard Mayr

Published in: Inf. Comput. (2002)

Keyphrases

databases
database
computer vision
multi agent
video sequences
search algorithm
probability distribution
mathematical model
numerical simulations
simulation environment