informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-837Research ArticleМАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕMATHEMATICAL MODELINGФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМЧеремисиновД. И.Объединенный институт проблем информатики НАН БеларусиBelarus20041902201903(03)1728Copyright © Черемисинов Д.И., 20192019Черемисинов Д.И.Черемисинов Д.И.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/837ReferencesЗандере Л.Я., Мартинсонс К.Я., Фрицнович Г.Ф. Автоматизация разработки протоколов сетей ЭВМ и их реализаций (библиография с комментариями) // Вычислительные сети: Логическое проектирование протоколов. – Рига: Зинатне, 1988. – Вып. 2. – С. 200-273.Зандере Л.Я., Мартинсонс К.Я., Фрицнович Г.Ф. Автоматизация разработки протоколов сетей ЭВМ и их реализаций (библиография с комментариями) // Вычислительные сети: Логическое проектирование протоколов. – Рига: Зинатне, 1988. – Вып. 2. – С. 200-273.Manna Z., Pnueli A. The temporal logic of reactive systems. – Springer-Verlag, 1991.Manna Z., Pnueli A. The temporal logic of reactive systems. – Springer-Verlag, 1991.Ritchie D. M., Thompson K. The UNIX time sharing system // Comm. ACM. – V.1. – №7, 1974. – P. 365-375.Ritchie D. M., Thompson K. The UNIX time sharing system // Comm. ACM. – V.1. – №7, 1974. – P. 365-375.Хоар Ч. Взаимодействующие последовательные процессы. – М.: Мир, 1989. – 264 с.Хоар Ч. Взаимодействующие последовательные процессы. – М.: Мир, 1989. – 264 с.Серф В. Передача пакетов // Протоколы и методы управления в сетях передачи данных. – М.: Радио и связь, 1985. – С. 80.Серф В. Передача пакетов // Протоколы и методы управления в сетях передачи данных. – М.: Радио и связь, 1985. – С. 80.Черемисинов Д.И. Формальные методы описания поведения распределенных систем. –Минск, 1991. – 44 с. (Препринт/ Ин-т техн. кибернетики АН БССР; № 38).Черемисинов Д.И. Формальные методы описания поведения распределенных систем. –Минск, 1991. – 44 с. (Препринт/ Ин-т техн. кибернетики АН БССР; № 38).Дей Дж. Д., Зиммерман Ю. Эталонная модель взаимосвязи открытых систем (ВОС) // ТИИЭР. – 1983. – Т.71. – № 12. – С. 8-17.Дей Дж. Д., Зиммерман Ю. Эталонная модель взаимосвязи открытых систем (ВОС) // ТИИЭР. – 1983. – Т.71. – № 12. – С. 8-17.Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на C++. – СПб.: Невский диалект, 1998.Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на C++. – СПб.: Невский диалект, 1998.Пранявичус Г.И., Хмеляускас А.В. Спецификация и верификация протоколов // Зарубежная радиоэлектроника. – №6. – 1986. – С. 33-49.Пранявичус Г.И., Хмеляускас А.В. Спецификация и верификация протоколов // Зарубежная радиоэлектроника. – №6. – 1986. – С. 33-49.Milner R. A calculus of concurrent systems. LCNS v. 92 – New-Jork: Springer-Verlag, 1980.Milner R. A calculus of concurrent systems. LCNS v. 92 – New-Jork: Springer-Verlag, 1980.Genrich H.J., Lautenbach K. System Modelling with High-level Petri Nets // Theoretical Computer Science. – V. 13. – 1981. – P. 109-136.Genrich H.J., Lautenbach K. System Modelling with High-level Petri Nets // Theoretical Computer Science. – V. 13. – 1981. – P. 109-136.Вишневский В.М. Теоретические основы проектирования компьютерных сетей. – М.: Техносфера, 2003. – 512 с.Вишневский В.М. Теоретические основы проектирования компьютерных сетей. – М.: Техносфера, 2003. – 512 с.Krohn K.B., Rhodes J.L. Algebraic theory of mashines // Trans. Am. Math. Soc. – V.116. – 1965. – P. 450-464.Krohn K.B., Rhodes J.L. Algebraic theory of mashines // Trans. Am. Math. Soc. – V.116. – 1965. – P. 450-464.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981.Физический энциклопедический словарь, 1983. – С. 592.Физический энциклопедический словарь, 1983. – С. 592.Prior A. Past, Present and Future. – Oxford: Claredon, 1967. – 217 p.Prior A. Past, Present and Future. – Oxford: Claredon, 1967. – 217 p.Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1979. – 320 с.Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1979. – 320 с.Караваев Э.Ф. Основания временной логики. – Л.: ЛГУ, 1983. – 176 с.Караваев Э.Ф. Основания временной логики. – Л.: ЛГУ, 1983. – 176 с.Ишмуратов А.Т. Логические теории временных контекстов (временная логика). – Киев: Наукова думка, 1981. – 150 с.Ишмуратов А.Т. Логические теории временных контекстов (временная логика). – Киев: Наукова думка, 1981. – 150 с.Pnuely A. The temporal semantics of concurrent programs. LCNS v. 70. – Berlin: Springer-Verlag, 1979. – P. 1-20.Pnuely A. The temporal semantics of concurrent programs. LCNS v. 70. – Berlin: Springer-Verlag, 1979. – P. 1-20.Авакян В.В., Юдицкий С.А. Описание и анализ параллельных алгоритмов логического управления с применением графов операций // АиТ. – №1. – 1990. – С. 100-108.Авакян В.В., Юдицкий С.А. Описание и анализ параллельных алгоритмов логического управления с применением графов операций // АиТ. – №1. – 1990. – С. 100-108.
The authors declare that there are no conflicts of interest present.