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