Publication
Detail
Publication date: 01/06/2010Higher-Order Concurrency: Expressiveness and Decidability
URL | http://albcom.lsi.upc.edu/ojs/index.php/beatcs/article/view/4 |
---|---|
Journal | Bulletin of the European Association for Theoretical Computer Science |
Publisher | Universitat Politècnica de Catalunya |
Volume | 101 |
URL | http://albcom.lsi.upc.edu/ojs/index.php/beatcs/article/view/4 |
Journal | Bulletin of the European Association for Theoretical Computer Science |
Publisher | Universitat Politècnica de Catalunya |
Volume | 101 |