Multiparty Session C: Safe Parallel Programming with Message Optimisation

Nicholas Ng, Nobuko Yoshida, Kohei Honda. Multiparty Session C: Safe Parallel Programming with Message Optimisation. In Carlo A. Furia, Sebastian Nanz, editors, Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Volume 7304 of Lecture Notes in Computer Science, pages 202-218, Springer, 2012. [doi]

Abstract

Abstract is missing.