Issledowanie parallel'nyh sistem metodami teorii kategorij

Monografiq sostoit iz treh chastej: perwaq poswqschena primeneniü matematicheskih modelej parallel'nyh sistem pri programmirowanii s pomosch'ü mnogopotochnyh prilozhenij, wtoraq - swojstwam kategorii asinhronnyh sistem, tret'q - swqzqm ätoj kategorii s drugimi kategoriqmi matematicheskih modelej parallel'nyh sistem. Vwedeny konserwatiwnye gomomorfizmy mezhdu asinhronnymi sistemami. Dokazano, chto kategoriq asinhronnyh sistem i konserwatiwnyh gomomorfizmow polna i kopolna. Postroeny soprqzhennye funktory, swqzywaüschie kategoriü asinhronnyh sistem i konserwatiwnyh gomomorfizmow s kategoriej mnogomernyh awtomatow i morfizmow, sohranqüschih nezawisimost'. Izlozhenie orientirowano na studentow, magistrantow i aspirantow, znakomyh s parallel'nym programmirowaniem i s teoriej kategorij. Perwye glawy mogut byt' ispol'zowany pri prepodawanii discipliny po wychislitel'nym sistemam.