Publication
Detail
Publication date: 01/01/2013Algorithmic type checking for a pi calculus with name matching and session types
| URL | http://elsarticle.com/18AxqwX |
|---|---|
| Journal | Journal of Logic and Algebraic Programming |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 82 |
| Number | 8 |
| URL | http://elsarticle.com/18AxqwX |
| Journal | Journal of Logic and Algebraic Programming |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 82 |
| Number | 8 |