HIMAN-GP: A grid engine portal for controlling access to HIMAN grid middleware with performance evaluation using processes algebra | IEEE Conference Publication | IEEE Xplore