MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

PiLib: A hosted language for pi-calculus style concurrency (2003) [1 citations — 1 self]

Abstract:

Abstract. 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. 1

Citations

2779 Communicating sequential processes – Hoare - 1978
1451 The Java Language Specification – Gosling, Joy, et al. - 1996
850 A calculus of mobile processes – Milner, Parrow, et al. - 1992
405 Monitors: an operating system structuring concept – Hoare - 1974
225 Pict: A Programming Language Based on the Pi-Calculus – Pierce, Turner - 1997
218 The reflexive chemical abstract machine and the join-calculus – Fournét, Gonthier - 1996
200 CML: A higher-order concurrent language – Reppy - 1991
160 Facile: A symmetric integration of concurrent and functional programming – Giacolone, Mishra, et al. - 1989
158 Concurrent Haskell – Jones, Gordon, et al. - 1996
92 Modern concurrency abstractions for C – Benton, Cardelli, et al. - 2002
85 M-Structures: Extending a parallel, non-strict functional language with state – Barth, Nikhil, et al. - 1991
83 The programming language Concurrent Pascal – Hansen - 1975
63 Object-oriented concurrent constraint programming in Oz – Smolka, Henz, et al. - 1995
37 Jocaml: Mobile agents for Objective-Caml – Conchon, Fessant - 1999
29 Functional Nets – Odersky
20 Conchon and Fabrice Le Fessant. Jocaml: mobile agents for Objective-Caml – Sylvain - 1999
20 Essential .NET, Volume I: The Common Language Runtime – Box, Sells - 2003
4 Jörg Würtz. Object-oriented concurrent constraint programming in Oz – Smolka, Henz - 1995
4 Extending a parallel, non-strict, functional language with state – M-structures - 1991
3 Cdric Fournet. Modern concurrency abstractions for C – Benton, Cardelli - 2002
3 The ID-Report: An Asynchronous Programming Language and Computing Machine – Arvind, Plouffe - 1978
3 Report on the Programming Language Scala – Odersky - 2002
1 chapter References to skeletons in book go here – Book
1 Pilib – using pi calculus in scala. http://lampwww.epfl.ch/∼cremet – Cremet - 2003
View or Download | Add to My Collection | Correct Errors