KeLP is a software infrastructure for parallel computing