Friday, December 15, 2017

TLA

TLA - аббревиатура для Temporal Logic of Actions. язык спецификаций, основанный на теории множеств, логике первого порядка и темпоральной логике действий. Руководство по спецификации параллельных систем: Principles of Concurrent Computing and Specification of Concurrent Systems

No comments: