On Verifying Distributed Multithreaded Java Programs.

Published in: HICSS (2000)

Keyphrases

java programs
distributed systems
multi threaded
distributed environment
java language
multi agent
software components
cooperative
computing environments
mobile agents
computer networks