Safety decomposition of distributed programs.

Published in: ACM SIGPLAN Notices (1985)

Keyphrases

multi agent
cooperative
distributed systems
distributed environment
distributed data
peer to peer
database
artificial intelligence
website
search algorithm
mobile agents
computing environments
answer sets
wavelet packet
safety critical