A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Session-Based Communication Optimisation for Higher-Order Mobile Processes
[chapter]
2009
Lecture Notes in Computer Science
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our system provides two complementary methods for communication code optimisation, mobile code and asynchronous permutation of session actions, within processes that utilise structured, typed communications. In order to prove transitivity of our coinductive subtyping relation, we uniformly deal with type-manifested
doi:10.1007/978-3-642-02273-9_16
fatcat:wpo2ogsewzf77dlxqifmtpqb4q