Skip to main content
Article thumbnail
Location of Repository

PiLib: A hosted language for pi-calculus style concurrency

By Vincent Cremet

Abstract

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

Year: 2003
OAI identifier: oai:CiteSeerX.psu:10.1.1.134.2050
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://lampwww.epfl.ch/~cremet... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.