A formal environment model for multi-agent systems (2010)
- Authors:
- 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:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF
- Este artigo NÃO possui versão em acesso aberto
-
Status: Nenhuma versão em acesso aberto identificada -
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: 17 mar. 2026. -
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 2026 mar. 17 ] 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 2026 mar. 17 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5 - An architectural pattern to implement business rules in information systems
- An aproach for the verification of multi-agent systems by formally guided simulations
- Behaviorist agent architecture
- PiStache: implementing π-calculus in scala
- On the composition of Java frameworks control-flows
- On the algebraic reuse of hardware design
- Testing Java exceptions: an instrumentation technique
- On the testability of properties patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- From active names to π-calculus rewriting rules
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
