Bisimulation Congruences in the Calculus of Looping Sequences.

Roberto Barbuti Andrea Maggiolo-Schettini Paolo Milazzo Angelo Troina

Published in: ICTAC (2006)

Keyphrases

hidden markov models
data structure
real time
neural network
artificial intelligence
website
variable length
equivalence relation
formal language
sequence matching