PiLib: A Hosted Language for Pi-Calculus Style Concurrency

PiLib is a library written in Scala that implements the concurrency constructs of the Pi-calculus. Some features of the programming language Scala, examined in the paper, make it possible to use almost the same syntax as in the Pi-calculus. The advantages of this library with respect to a simple Pi-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.


Published in:
Proceedings of Domain-Specific Program Generation: International Seminar
Presented at:
Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 2003
Year:
2003
Other identifiers:
Laboratories:




 Record created 2006-01-24, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)