Jaco van de Pol Miguel Valero Espada Formal Specification of JavaSpaces™ Architecture Using µCRL. 274-290 2002 conf/coordination/2002 COORDINATION http://link.springer.de/link/service/series/0558/bibs/2315/23150274.htm db/conf/coordination/coordination2002.html#PolE02