%0 Journal Article %1 journals/iandc/MostrousY15 %A Mostrous, Dimitris %A Yoshida, Nobuko %D 2015 %J Inf. Comput. %K dblp %P 227-263 %T Session typing and asynchronous subtyping for the higher-order π-calculus. %U http://dblp.uni-trier.de/db/journals/iandc/iandc241.html#MostrousY15 %V 241

@article{journals/iandc/MostrousY15, added-at = {2020-02-04T00:00:00.000+0100}, author = {Mostrous, Dimitris and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/20459cb20280241d1bfb6be876a4cbb2e/dblp}, ee = {https://doi.org/10.1016/j.ic.2015.02.002}, interhash = {da08f3be4eeecc3c7d7aa49cd72da7df}, intrahash = {0459cb20280241d1bfb6be876a4cbb2e}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {227-263}, timestamp = {2020-02-05T11:44:38.000+0100}, title = {Session typing and asynchronous subtyping for the higher-order π-calculus.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc241.html#MostrousY15}, volume = 241, year = 2015 }