PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper, make it possible to use almost the same syntax as in the π-calculus. The advantages of this library with respect to a simple π-calculus interpreter are that we can transmit any value along names, we can get control over them using the type system, and we have access to the full power of Scala in terms of expressiveness and libraries.
CITATION STYLE
Cremet, V., & Odersky, M. (2004). PILIB: A hosted language for Pi-calculus style concurrency. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3016, pp. 180–195). Springer Verlag. https://doi.org/10.1007/978-3-540-25935-0_11
Mendeley helps you to discover research relevant for your work.