Paper Info
Title
Session-Based Communication Optimisation for Higher-Order Mobile Processes
Abstract
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 asynchrony, linear functional types, and contravariant components in higher-order communications. For the runtime system we propose a new compact formulation that takes into account stored higher-order values with open sessions, as well as asynchronous commutativity. In spite of the enriched type structures, we construct an algorithmic subtyping system, which is sound and complete with respect to the coinductive subtyping relation. The paper also demonstrates the expressiveness of our typing system with an e-commerce example, where optimised processes can interact respecting the expected sessions.
Year
DOI
Venue
2009
10.1007/978-3-642-02273-9_16
TLCA
Keywords
Field
DocType
higher-order value,session-based communication optimisation,asynchronous commutativity,algorithmic subtyping system,higher-order communication,asynchronous permutation,typing system,asynchronous subtyping,runtime system,higher-order mobile processes,communication code optimisation,coinductive subtyping relation,higher order,type system,e commerce
Asynchronous communication,Open problem,Programming language,Commutative property,Computer science,Permutation,Theoretical computer science,Coinduction,Subtyping,Runtime system,Transitive relation
Conference
Volume
ISSN
Citations 
5608
0302-9743
16
PageRank 
References 
Authors
0.69
15
2
Name
Order
Citations
PageRank
Dimitris Mostrous11306.37
Nobuko Yoshida22607153.29