Issledovanie Parallel'nykh Sistem Metodami Teorii Kategoriy

Monografiya sostoit iz trekh chastey: pervaya posvyashchena primeneniyu matematicheskikh modeley parallel'nykh sistem pri programmirovanii s pomoshch'yu mnogopotochnykh prilozheniy, vtoraya - svoystvam kategorii asinkhronnykh sistem, tret'ya - svyazyam etoy kategorii s drugimi kategoriyami matematicheskikh modeley parallel'nykh sistem. Vvedeny konservativnye gomomorfizmy mezhdu asinkhronnymi sistemami. Dokazano, chto kategoriya asinkhronnykh sistem i konservativnykh gomomorfizmov polna i kopolna. Postroeny sopryazhennye funktory, svyazyvayushchie kategoriyu asinkhronnykh sistem i konservativnykh gomomorfizmov s kategoriey mnogomernykh avtomatov i morfizmov, sokhranyayushchikh nezavisimost'. Izlozhenie orientirovano na studentov, magistrantov i aspirantov, znakomykh s parallel'nym programmirovaniem i s teoriey kategoriy. Pervye glavy mogut byt' ispol'zovany pri prepodavanii distsipliny po vychislitel'nym sistemam.