Detail

Publication date: 01/12/2015

Modular session types for objects

Authors

António Ravara, Nils Gesbert, Simon Gay, Vasco Vasconcelos,

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