Causality Based Proof of a Distributed Shared Memory System.

Dominik Gomm Ekkart Kindler

Published in: Parallel Computer Architectures (1993)

Keyphrases

distributed shared memory
message passing
causal models
theorem proving
theorem prover
experimental data
belief propagation
causal reasoning
geometry theorem proving
data sets
real world
information retrieval
image segmentation
distributed systems
natural deduction
causal inference