(Bi)simulations up-to characterise process semantics.

David de Frutos-Escrig Carlos Gregorio-Rodríguez

Published in: Inf. Comput. (2009)

Keyphrases

high level
data structure
real time
machine learning
image sequences
evolutionary algorithm
information processing
big data
default reasoning