1. Главная
  2. Ресурсы
  3. Библиотечный поиск
A proof technique forcommunicatingsequential processes Gary LevinDavid Gries1981 год

A proof technique for communicating sequential processes
статья из журнала

Страница публикацииПубликация в OpenAlex
Год издания: 1981
Авторы: Gary Levin, David Gries
Издательство: Springer Science+Business Media
Источник: Acta Informatica
Ключевые слова: Logic, programming, and type systems, Formal Methods in Verification, Distributed systems and fault tolerance