On Verifying Distributed Multithreaded Java Programs.

Published in: Softw. Qual. J. (1999)

Keyphrases

java programs
multi threaded
java language
distributed systems
peer to peer
distributed environment
software components
multi agent
cooperative
low cost
test suite
real time
social networks
building blocks