Predicate Transformers for Reasoning about Concurrent Computation.

K. Mani Chandy Beverly A. Sanders

Published in: Sci. Comput. Program. (1995)

Keyphrases

neural network
machine learning
website
information retrieval
similarity measure
knowledge representation
integrity constraints
spatial reasoning
qualitative reasoning