abstract servers