A theory of bisimulation for a fragment of concurrent ML with local names.

Alan Jeffrey Julian Rathke

Published in: Theor. Comput. Sci. (2004)

Keyphrases

maximum likelihood
theoretical framework
neural network
website
theoretical basis
data mining
information systems
decision making
image processing
case study
evolutionary algorithm
programming language
belief functions
general theory