Specifying Properties of Concurrent Computations in CLF.

Kevin Watkins Iliano Cervesato Frank Pfenning David Walker

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

data sets
desirable properties
neural network
real world
multiresolution
artificial intelligence
information systems
structural properties
key properties