Formal Proof of Applications Distributed in Symmetric Interconnection Networks.

Eric Gascard Laurence Pierre

Published in: Parallel Process. Lett. (2003)

Keyphrases

formal proof
interconnection networks
fault tolerant
multistage
parallel algorithm
distributed systems
message passing
routing algorithm
theorem prover
real time
peer to peer
artificial intelligence
machine learning
end to end
computer networks