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:
- 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.
- 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.
- 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
- protocolo alternante pouco
- bissimulação
- Cálculo de sistemas de comunicação (CCS)
- Comunicação de processos sequenciais (CSP)
- Pi-calculus
Referências
- KVS Prasad : um cálculo dos sistemas de radiodifusão , Science of Computer Programming, 25, 1995.
- KVS Prasad : Programação com transmissões , Lecture Notes in Computer Science , Vol. 715, coincida, 1993, Springer-Verlag .
- KVS Prasad : Broadcasting no tempo , Palestra Notas em Ciência da Computação , vol. 1061, coordenação, 1996, Springer-Verlag .