Lightening global types

Tzu-Chun Chen
DOI: https://doi.org/10.1016/j.jlamp.2015.06.003
IF: 1.088
2015-09-01
Journal of Logical and Algebraic Methods in Programming
Abstract:Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will never arrive or the session is terminated. By decomposing a big global type into several light global types, one can avoid such kind of redundant interactions. This work proposes a framework which allows to easily decompose global types into light global types, preserving the interaction sequences of the original ones but for redundant interactions.
computer science, theory & methods,logic
What problem does this paper attempt to address?