Кузьмин Е.В.: Структурированные системы переходов
Скачать книгу (размер 891 Kb , формат fb2, страниц 176) Аннотация: В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом…