The reflexive CHAM and the join-calculus
Cached
Download Links
- [ftp.inria.fr]
- [pauillac.inria.fr]
- [www.cis.upenn.edu]
- [www.cs.rpi.edu]
- DBLP
Other Repositories/Bibliography
by
Cedric Fournet
,
Georges Gonthier
| Venue: | IN PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES |
| Citations: | 83 - 0 self |
BibTeX
@INPROCEEDINGS{Fournet_thereflexive,
author = {Cedric Fournet and Georges Gonthier},
title = {The reflexive CHAM and the join-calculus},
booktitle = {IN PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES},
year = {},
pages = {372--385},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
By adding reflexion to the chemical machine of Berry and Boudol, we obtain a formal model of concurrency that is consistent with mobility and distribution. Our model provides the foundations of a programming language with functional and object-oriented features. It can also be seen as a process calculus, the join-calculus, which we prove equivalent to the pi-calculus of Milner, Parrow and Walker.
