Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs.

Paritosh K. Pandya

Published in: REX Workshop (1989)

Keyphrases

distributed systems
main contribution
theoretical framework
expert systems
distributed learning
real time
search engine
peer to peer
lightweight
conceptual framework