WikiDer > Расчет систем вещания

Calculus of broadcasting systems

Расчет систем вещания (CBS) это CCS-подобно исчисление куда процессы говорите по одному, и каждый моментально слышит все остальные. Речь автономна, разногласия между говорящими разрешаются недетерминированно, но слышание происходит только тогда, когда говорит кто-то другой. Значимые с точки зрения наблюдения законы отличаются от законов CCS. Рукопожатие CCS заменено на широковещательную передачу в CBS. Это позволяет использовать несколько дополнительных функций:

  1. Приоритет, который присваивается только автономным действиям, просто добавляется к CBS в отличие от CCS, где такие действия являются результатом общения.
  2. Симулятор CBS запускает процесс, возвращая список значений, которые он передает. Это позволяет использовать мощную комбинацию CBS с основным языком. Он дает несколько элегантных алгоритмов. На практике необходимы только процессы с уникальной реакцией на каждый вход, поэтому слабое би-моделирование является конгруэнтностью.
  3. Подсистемы CBS связаны переводчиками; отображая сообщения в тишине, они могут ограничить слух и скрыть речь. Реверсирование переводчика выворачивает его объем наизнанку. Это разрешает новую спецификацию для канала связи - среда каждого пользователя должна вести себя как другой пользователь.

Смотрите также

Рекомендации

внешняя ссылка