PiLib: A Hosted Language for Pi-Calculus Style Concurrency

@inproceedings{Cremet2003PiLibAH,
  title={PiLib: A Hosted Language for Pi-Calculus Style Concurrency},
  author={Vincent Cremet and Martin Odersky},
  booktitle={Domain-Specific Program Generation},
  year={2003}
}
  • Vincent Cremet, Martin Odersky
  • Published in
    Domain-Specific Program…
    2003
  • Computer Science
  • PiLib is a library written in Scala that implements the concurrency constructs of the \(\pi \mbox{-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 \mbox{-calculus}\). The advantages of this library with respect to a simple \(\pi \mbox{-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… CONTINUE READING

    Figures and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 24 REFERENCES