Modular session types for objects

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

Publication