Formalization and Investigation of Parallel Processes Dispatching | IEEE Conference Publication | IEEE Xplore