Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Formal Methods
-
Process Algebras
-
distributed join-calculus
-
especificação de protocolos de comunicação
-
especificação formal
-
join-calculus
-
mobilidade
-
protocolos de comunicação
Identidade
identificador BrCris
-
240492eab863ecb8adefd9e746ee1472
identificador Capes
-
20028133002010176P0-Publication
identificador Oasisbr
-
USP_5df2515165ad753c97bc1cdf186a9c1d