Cálculo de sistemas de radiodifusión

El cálculo de sistemas de radiodifusión ( CBS ) es un cálculo similar al CCS , donde los procesos hablan uno a la vez y cada uno es escuchado instantáneamente por todos los demás. El habla es autónoma, la contienda entre hablantes se resuelve de forma no determinista, pero la escucha solo ocurre cuando alguien más habla. Las leyes observacionales significativas difieren de las del CCS. La comunicación por intercambio de claves del CCS se transforma en comunicación por difusión en el CBS. Esto permite varias características adicionales:

1. La prioridad, que se aplica únicamente a las acciones autónomas, simplemente se añade a los sistemas basados ​​en competencias (CBS), a diferencia de los sistemas basados ​​en competencias (CCS), donde dichas acciones son el resultado de la comunicación.
2. Un simulador CBS ejecuta un proceso devolviendo una lista de valores que transmite. Esto permite una poderosa combinación entre CBS y el lenguaje anfitrión, lo que da lugar a varios algoritmos elegantes. En la práctica, solo se necesitan procesos con una respuesta única para cada entrada, por lo que la simulación bidireccional débil resulta una solución congruente.
3. Los subsistemas CBS se interconectan mediante traductores; al asociar los mensajes con el silencio, estos pueden restringir la audición y ocultar el habla. Invertir el funcionamiento de un traductor transforma por completo su alcance. Esto permite una nueva especificación para el enlace de comunicación : el entorno de cada usuario debe comportarse como el del otro usuario.

• Protocolo de bits alternos
• Bisimulación
• Cálculo de sistemas comunicantes (CCS)
• Procesos secuenciales comunicantes (CSP)
• Cálculo Pi

• KVS Prasad : Un cálculo de sistemas de radiodifusión , Ciencia de la programación informática, 25, 1995.
• KVS Prasad : Programación con transmisiones , Lecture Notes in Computer Science , Vol. 715, CONCUR, 1993, Springer-Verlag .
• KVS Prasad : Broadcasting in time , Lecture Notes in Computer Science , Vol. 1061, COORDINATION, 1996, Springer-Verlag .

• Citas de CiteSeer
• Implementación de TCBS en C++ - Un laboratorio para el curso "Paralelismo"