Van Benthem Parallel Computing