Idioma:

A formal environment model for multi-agent systems

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF (13. 2010 Natal, RN)

Proceedings Berlin : Springer, 2010

Localização: IME - Inst. Matemática e Estatística (PROD-2172943 ) e outros locais(Acessar)

Título:
A formal environment model for multi-agent systems
Autor: Paulo Salem da Silva
Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF (13. 2010 Natal, RN)
Assuntos: SISTEMAS MULTIAGENTES; SEMÂNTICA DE PROGRAMAÇÃO; Multiagent System; Composition Operator; Operational Semantic; Environment Behavior; Parallel Composition
É parte de: Proceedings Berlin : Springer, 2010
Notas: Disponóvel em: . Acesso em: 30 abr. 2019
Títulos relacionados: Série:Lecture Notes in Computer Science v. 6527
Editor: Berlin Springer
Data de criação/publicação: 2010
Formato: p. 64-79.
Idioma: Inglês

Links

Voltar para lista de resultados