Session typing and asynchronous subtyping for the higher-order π-calculus
Article in Information and Computation (April 2015)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Information and Computation (April 2015)
Book chapter in Lecture Notes in Computer Science (January 2015)
Conference proceeding (August 2014)