The specification of parallel and distributed computational model GraphPlus based on TLA logic
Автор: Vostokin S.V.
Журнал: Известия Самарского научного центра Российской академии наук @izvestiya-ssc
Рубрика: Управление и моделирование
Статья в выпуске: 3 т.8, 2006 года.
Бесплатный доступ
The article describes structural model of computational processes named GraphPlus and its formal specification in Lamports temporal logic TLA. The model targets to formalize semantics of parallel and distributed algorithms used in implementing complex numerical models.
Короткий адрес: https://sciup.org/148197855
IDR: 148197855
Статья научная
