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

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

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

См. также

• Альтернативный битовый протокол
• Бисимуляция
• Исчисление коммуникационных систем (ИСС)
• Коммуникация последовательных процессов (CSP)
• Пи-исчисление

Ссылки

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

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

• Цитаты из CiteSeer
• Реализация TCBS на C++ - Лаборатория по курсу "Параллелизм"