Anderson de Araújo,  Marcelo 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

Processando consulta.