Detail

Publication date: 01/06/2010

Higher-Order Concurrency: Expressiveness and Decidability

Authors

Jorge A Pérez,

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