A formal environment model for multi-agent systems

A formal environment model for multi-agent systems (2010)

Authors:
- Silva, Paulo Salem da
- Melo, Ana Cristina Vieira de
Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
Unidade: IME
DOI: 10.1007/978-3-642-19829-8_5
Subjects: SISTEMAS MULTIAGENTES; SEMÂNTICA DE PROGRAMAÇÃO
Keywords: multiagent system; composition operator; operational semantic; environment behavior; parallel composition
Agências de fomento:
- Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
- Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Language: Inglês
Imprenta:
- Publisher: Springer
- Publisher place: Berlin
- Date published: 2010
Source:
- Título: Proceedings
Conference titles: Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF

Informações sobre o DOI: 10.1007/978-3-642-19829-8_5 (Fonte: oaDOI API)

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

ABNT

SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. A formal environment model for multi-agent systems. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-19829-8_5. Acesso em: 26 dez. 2025.
APA

Silva, P. S. da, & Melo, A. C. V. de. (2010). A formal environment model for multi-agent systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-19829-8_5
NLM

Silva PS da, Melo ACV de. A formal environment model for multi-agent systems [Internet]. Proceedings. 2010 ;[citado 2025 dez. 26 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5
Vancouver

Silva PS da, Melo ACV de. A formal environment model for multi-agent systems [Internet]. Proceedings. 2010 ;[citado 2025 dez. 26 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5