Applying SPE techniques for modeling a grid-enabled JAVA platform. - Mariela Curiel; M. Angélica Pérez; Ricardo González (WOSP, 2005)