PiStache: implementing π-calculus in scala (2011)
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: DESENVOLVIMENTO DE SOFTWARE, SEMÂNTICA DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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: 26 jan. 2026.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_6NLM
Matiello P, Melo ACV de. PiStache: implementing π-calculus in scala [Internet]. Proceedings. 2011 ;[citado 2026 jan. 26 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6Vancouver
Matiello P, Melo ACV de. PiStache: implementing π-calculus in scala [Internet]. Proceedings. 2011 ;[citado 2026 jan. 26 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6
