Secure Execution of Distributed Session Programs

The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world programming languages. SJ programs featuring session types (protocols) are statically checked by the SJ compiler to verify the...

Full description

Bibliographic Details
Main Authors: Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou
Format: Article
Language:English
Published: Open Publishing Association 2011-10-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1110.4156v1

Similar Items