Constraint-Based Synchronization and Verification of Distributed Java Programs.

Rafael Ramírez Juanjo Martinez

Published in: ICLP (2004)

Keyphrases

java programs
multi threaded
distributed systems
java language
mobile agents
multi agent
cooperative
distributed environment
software components
peer to peer
test suite
artificial intelligence
data processing
parallel algorithm
computer networks