Using Induction to Prove Properties of Distributed Programs.

Vijay K. Garg Alexander I. Tomlinson

Published in: SPDP (1993)

Keyphrases

distributed environment
neural network
distributed systems
desirable properties
computer programs
machine learning
peer to peer
functional programs
imperative programs
databases
website
multi agent
computer networks
fault tolerant
inductive logic programming
automatic programming