| |
Коваль, Ю. В.
Протокол багатоточкового потоку: доведення коректності [Текст] : методом інерційного моделювання / Ю. В. Коваль
// Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2015. – С. 84-90. – (Серія "Фізико-математичні науки").
В статті побудовано формалізацію агентів та систему правил що утворюють функцію занурення для вказаних агентів що здійснюють передачу повідомлень за протоколом багатоточкового потоку. |
