Cálculo de sistemas de radiodifusión


El cálculo de sistemas de radiodifusión ( CBS ) es un cálculo similar al CCS en el que los procesos hablan uno a la vez y todos los demás escuchan instantáneamente cada uno de ellos. El habla es autónoma, la contienda entre hablantes se resuelve de forma no determinista, pero la audición solo ocurre cuando alguien más habla. Las leyes significativas desde el punto de vista de la observación difieren de las de CCS. La comunicación de apretón de manos de CCS se cambia a comunicación de transmisión en CBS. Esto permite varias características adicionales: