Davide Ancona, Sophia Drossopoulou, Viviana Mascardi. Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. In Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Vasconcelos, editors, Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Volume 7784 of Lecture Notes in Computer Science, pages 76-95, Springer, 2012. [doi]
Abstract is missing.