Global Progress in Dynamically Merged Multiparty Sessions (2009)
Lorenzo Bettini, Marco De Luca, Mariangiola Dezani-ciancaglini, Nobuko Yoshida
Abstract. A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a...
Global Progress in Dynamically Interleaved (2009)
Multiparty Sessions, Lorenzo Bettini, Marco De Luca, Mariangiola Dezani, Nobuko Yoshida
Widespread use of message-based communication for developing network applications to combine numerous distributed services has provoked urgent interest in structuring series of interactions to...
Global Progress in Dynamically Interleaved Multiparty Sessions (2008)
Lorenzo Bettini, Marco De Luca, Mariangiola Dezani-ciancaglini, Nobuko Yoshida
Abstract. A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a...