A Theory of Weak Bisimulation for Core CML.

William Ferreira Matthew Hennessy Alan Jeffrey

Published in: ICFP (1996)

Keyphrases

theoretical framework
theoretical basis
three dimensional
computational model
general theory
search engine
web services
cooperative
search space
theoretical foundation