@article{Mostrous2015,
title = "Session typing and asynchronous subtyping for the higher-order π-calculus ",
journal = "Information and Computation ",
volume = "",
number = "0",
pages = " - ",
year = "2015",
note = "",
issn = "0890-5401",
doi = "http://dx.doi.org/10.1016/j.ic.2015.02.002",
url = "http://www.sciencedirect.com/science/article/pii/S0890540115000139",
author = "Dimitris Mostrous and Nobuko Yoshida",
keywords = "Session types",
keywords = "The higher-order π-calculus",
keywords = "Asynchronous subtyping",
keywords = "Communication optimisation",
keywords = "Code mobility",
keywords = "Linear typing "
}