On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS.

Roberto M. Amadio

Published in: EXPRESS (2008)

Keyphrases

neural network
database
data sets
real world
artificial intelligence
clustering algorithm
multiscale
petri net
convergence speed