PiLib: A hosted language for pi-calculus style concurrency Export

@inproceedings{citeulike:4746715, abstract = {Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some discussed features of the programming language Scala make it possible to use almost the same syntax as in the π-calculus. The huge advantage of this library with respect to any simple π-calculus interpreter is 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 the language in terms of expressiveness and libraries. 1}, author = {Cremet, Vincent and Odersky, Martin}, booktitle = {In Dagstuhl proc.: Domain-Specific Program Generation}, citeulike-article-id = {4746715}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.9512}, keywords = {concurrency, dsl, pi-calculus, scala}, posted-at = {2009-06-04 22:20:50}, priority = {2}, title = {PiLib: A hosted language for pi-calculus style concurrency}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.9512}, year = {2003} }

TY - CONF ID - citeulike:4746715 L3 - citeulike-article-id:4746715 N2 - Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some discussed features of the programming language Scala make it possible to use almost the same syntax as in the π-calculus. The huge advantage of this library with respect to any simple π-calculus interpreter is 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 the language in terms of expressiveness and libraries. 1 TI - PiLib: A hosted language for pi-calculus style concurrency T2 - In Dagstuhl proc.: Domain-Specific Program Generation KW - concurrency KW - dsl KW - pi-calculus KW - scala AU - Cremet, Vincent AU - Odersky, Martin PY - 2003/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.9512 ER -