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

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

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

См. также

Ссылки

КВС Прасад : расчет систем вещания , наука компьютерного программирования, 25, 1995.
КВС Прасад : Программирование с трансляциями , Конспекты лекций по информатике , Том. 715, CONCUR, 1993, Springer-Verlag .
КВС Прасад : Вещание во времени , Конспект лекций по информатике , Том. 1061, КООРДИНАЦИЯ, 1996, Springer-Verlag .

Внешние ссылки