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. Lightening global types gives us cleaner global types, which keep all necessary communications. 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. |
Download the complete article:
@inproceedings{ChenPlaces14,
author = {Tzu-Chun Chen},
note = {to appear},
booktitle = {PLACES},
url = {http://www.di.unito.it/~chen/papers/PLACES_ETAPS_2014.pdf},
title = {Lightening Global Types},
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. Lightening global types gives us cleaner global
types, which keep all necessary communications. 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.},
tag = {PLACES 2014},
localfile = {http://www.di.unito.it/~chen/papers/PLACES_ETAPS_2014.pdf},
year = {2014},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)