@inproceedings{inproceedings3f61fb6c,
title   = {PiStache: implementing π-calculus in scala},
author = {Matiello, Pedro and Melo, Ana Cristina Vieira de},
year = {2011},
doi = {10.1007/978-3-642-25032-3_6},
publisher = {Springer},
booktitle   = {Brazilian Symposium on Formal Methods - SBMF}
}