Незавершенные темы по языкам программирования

Язык спецификации временного упорядочения LOTOS — формальный язык спецификации, основанный на временном упорядочении событий.  Используется для спецификации протокола связи в […]