BDBComp
Parceria:
SBC
A formal system for quantum communication environments

Anderson de AraújoMarcelo Finger

The present paper provides a complete first-order system for quantum communication environments. These environments are static reliable synchronous systems of quantum communication among agents and the formal sys- tem defined combines probability and knowledge operators to describe them.

http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD