Publication
Detail
Publication date: 01/12/2015Modular session types for objects
URL | http://lmcs-online.org/ojs/viewarticle.php?id=1795&layout=abstract |
---|---|
Journal | Logical Methods in Computer Science |
Publisher | Universitat Politècnica de Catalunya |
Volume | 11 |
Number | 4:12 |
URL | http://lmcs-online.org/ojs/viewarticle.php?id=1795&layout=abstract |
Journal | Logical Methods in Computer Science |
Publisher | Universitat Politècnica de Catalunya |
Volume | 11 |
Number | 4:12 |