НПЛ (язык программирования)
NPL (язык программирования) История и особенности NPL NPL — функциональный язык программирования, разработанный в 1977 году Родом Берстоллом и Джоном […]
Вики
Programming language topic stubs
Вики
Язык спецификации процесса
Язык спецификации процесса Язык спецификации процессов (PSL) — набор логических терминов для описания процессов. PSL основан на онтологии, разработанной в
Вики
Спецификация языка временного упорядочения
Язык спецификации временного упорядочения LOTOS — формальный язык спецификации, основанный на временном упорядочении событий. Используется для спецификации протокола связи в