Расчет систем вещания - Calculus of broadcasting systems
 | Тема этой статьи может не соответствовать Википедии общее руководство по известности. (Август 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Расчет систем вещания (CBS) это CCS -подобно исчисление куда процессы говорите по одному, и каждый моментально слышит все остальные. Речь автономна, разногласия между говорящими разрешаются недетерминированно, но слышание происходит только тогда, когда говорит кто-то другой. Значимые с точки зрения наблюдения законы отличаются от законов CCS. Рукопожатие CCS заменено на широковещательную передачу в CBS. Это позволяет использовать несколько дополнительных функций:
- Приоритет, который присваивается только автономным действиям, просто добавляется к CBS в отличие от CCS, где такие действия являются результатом общения.
- Симулятор CBS запускает процесс, возвращая список значений, которые он передает. Это позволяет использовать мощную комбинацию CBS с основным языком. Он дает несколько элегантных алгоритмов. На практике необходимы только процессы с уникальной реакцией на каждый вход, поэтому слабое би-моделирование является конгруэнтностью.
- Подсистемы CBS связаны переводчиками; отображая сообщения в тишине, они могут ограничить слух и скрыть речь. Реверсирование переводчика выворачивает его объем наизнанку. Это разрешает новую спецификацию для канала связи - среда каждого пользователя должна вести себя как другой пользователь.
Смотрите также
- Альтернативный битовый протокол
- Бисимуляция
- Расчет коммуникационных систем (CCS)
- Связь последовательных процессов (CSP)
- Пи-исчисление
Рекомендации
- К. В. С. Прасад: Расчет систем вещания, Наука компьютерного программирования, 25, 1995.
- К. В. С. Прасад: Программирование с трансляциями, Конспект лекций по информатике, Vol. 715, КОНКУР, 1993, Springer-Verlag.
- К. В. С. Прасад: Вещание во времени, Конспект лекций по информатике, Vol. 1061, КООРДИНАЦИЯ, 1996 г., Springer-Verlag.