MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Session-Based Distributed Programming in Java
Raymond HU , Nobuko YOSHIDA , Kohei HONDA
22nd European Conference on Object-Oriented Programming (ECOOP 2008) p. 516 - 541

This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Session types provide high-level abstraction for structuring a series of interactions in a concise syntax, and ensure type-safe communications between distributed peers. We present the first full implementation of a language and runtime for session-based distributed programming featuring asynchronous message passing, delegation, and session subtyping and interleaving, combined with class downloading and failure handling. The compilation-runtime framework of our language effectively maps session abstraction onto underlying transports and guarantees communication safety through static and dynamic session type checking. We have implemented two alternative mechanisms for performing distributed session delegation and prove their correctness. Benchmark results show session abstraction can be realised with low runtime overhead.

@inproceedings{HYH2008,
  author = {Raymond Hu and Nobuko Yoshida and Kohei Honda},
  title = {{Session-Based Distributed Programming in Java}},
  series = {LNCS},
  volume = {5142},
  pages = {516--541},
  publisher = {Springer},
  year = 2008
}
@inproceedings{HYH2008,
  author = {Raymond Hu and Nobuko Yoshida and Kohei Honda},
  title = {{Session-Based Distributed Programming in Java}},
  booktitle = {22nd European Conference on Object-Oriented Programming},
  series = {LNCS},
  volume = {5142},
  pages = {516--541},
  publisher = {Springer},
  doi = "10.1007/978-3-540-70592-5_22",
  year = 2008
}