PiStache: implementing π-calculus in scala (2011)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1007/978-3-642-25032-3_6
- Subjects: DESENVOLVIMENTO DE SOFTWARE; SEMÂNTICA DE PROGRAMAÇÃO
- Keywords: Pi-calculus; scala; reconfiguration
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Proceedings
- Conference titles: Brazilian Symposium on Formal Methods - SBMF
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
MATIELLO, Pedro e MELO, Ana Cristina Vieira de. PiStache: implementing π-calculus in scala. 2011, Anais.. Berlin: Springer, 2011. Disponível em: https://doi.org/10.1007/978-3-642-25032-3_6. Acesso em: 19 abr. 2024. -
APA
Matiello, P., & Melo, A. C. V. de. (2011). PiStache: implementing π-calculus in scala. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-25032-3_6 -
NLM
Matiello P, Melo ACV de. PiStache: implementing π-calculus in scala [Internet]. Proceedings. 2011 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6 -
Vancouver
Matiello P, Melo ACV de. PiStache: implementing π-calculus in scala [Internet]. Proceedings. 2011 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6 - Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Testing the adherence of enterprise web applications to transactional patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- A classification of test purposes based on testable properties
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
- Testing Java exceptions: an instrumentation technique
Informações sobre o DOI: 10.1007/978-3-642-25032-3_6 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas