Jaco van de Pol Miguel Valero Espada Verification of JavaSpaces<sup>TM</sup> Parallel Programs. 196-205 2003 conf/acsd/2003 ACSD http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870196abs.htm db/conf/acsd/acsd2003.html#PolE03