Sign in
A Theory of Weak Bisimulation for Core CML.
William Ferreira
Matthew Hennessy
Alan Jeffrey
Published in:
J. Funct. Program. (1998)
Keyphrases
</>
information theory
image processing
high level
theoretical framework
theoretical basis
formal theory
multimedia
general theory