Приведены результаты научных исследований на основе параллельных вычислений и объектно-ориентированного программирования в контексте их алгебраического толкования. Освещена прикладная теория алгоритмов - алгоритмика, являющаяся новым витком в развитии компьютерной науки, восходящим от фундаментальных работ В.М.Глушкова. Осуществлено построение алгебраического аппарата для трактовки его в терминах известных формализмов, предназначенных для описания алгоритмических процессов с помощью структурных и неструктурных схем - надъязыковых моделей классов алгоритмов и программ. Изложены алгоритмические средства для описания высокопроизводительных параллельных вычислений и объектно-ориентированного программирования в мультипроцессорных и распределенных системах. Рассмотрены архитектуры параллельных вычислительных систем, виды и уровни параллельной обработки в них, методы организации и синхронизации параллельных вычислений.