Language-based performance prediction of ditributed and mobile systems