Cálculo dos sistemas de radiodifusão - Calculus of Broadcasting Systems

Cálculo dos sistemas de radiodifusão ( CBS ) é um CCS -como cálculo onde os processos de falar um de cada vez e cada um é ouvida instantaneamente por todos os outros. Discurso é autônomo, discórdia entre falantes sendo resolvido não-deterministicamente, mas ouvir só acontece quando alguém fala. Observacionalmente leis significativas diferem dos de CCS. A comunicação handshake de CCS é alterado para transmitir comunicação na CBS. Isso permite que várias características adicionais:

  1. Prioridade, que se liga apenas a ações autónomas, é simplesmente adicionada ao CBS em contraste com CCS, sempre que estas acções são o resultado de comunicação.
  2. Um simulador CBS executa um processo, retornando uma lista de valores ele transmite. Isto permite uma combinação poderosa, CBS com a linguagem host. Ela produz vários algoritmos elegantes. Apenas os processos com uma resposta única para cada entrada são necessários na prática, simulação bi tão fraca é uma congruência.
  3. CBS subsistemas estão interligados por tradutores; por mensagens de mapeamento ao silêncio, estes podem restringir audição e esconder discurso. Revertendo um tradutor transforma seu alcance dentro para fora. Isto permite uma nova especificação para um link de comunicação - o ambiente de cada usuário deve se comportar como o outro usuário.

Veja também

Referências

links externos