@article(bcd83, author = {Henk Barendregt and Mario Coppo and Dezani-Ciancaglini, Mariangiola}, year = {1983}, title = {A Filter Lambda Model and the Completeness of Type Assignment}, journal = {Journal of Symbolic Logic}, volume = {48}, number = {4}, pages = {931--940}, doi = {10.2307/2273659}, ) @misc(CDL, title = {{W3C} {W}{S}-{C}{D}{L}}, howpublished = {\url{http://www.w3.org/2002/ws/chor/}}, ) @inproceedings(cdy14, author = {Tzu-Chun Chen and Dezani-Ciancaglini, Mariangiola and Nobuko Yoshida}, year = {2014}, title = {On the Preciseness of Subtyping in Session Types}, booktitle = {PPDP}, publisher = {ACM Press}, pages = {135--146}, doi = {10.1145/2643135.2643138}, ) @article(CDYP15, author = {Mario Coppo and Dezani-Ciancaglini, Mariangiola and Nobuko Yoshida and Luca Padovani}, year = {2015}, title = {Global Progress for Dynamically Interleaved Multiparty Sessions}, journal = {Mathematical Structures in Computer Science}, doi = {10.1017/S0960129514000188}, note = {To appear}, ) @inproceedings(DemangeonH11, author = {Romain Demangeon and Kohei Honda}, year = {2011}, title = {Full Abstraction in a Subtyped pi-Calculus with Linear Types}, booktitle = {CONCUR}, series = {LNCS}, volume = {6901}, publisher = {Springer}, pages = {280--296}, doi = {10.1007/978-3-642-23217-6\_19}, ) @article(SIAM, author = {Dezani-Ciancaglini, Mariangiola and Ugo de'Liguoro and Adolfo Piperno}, year = {1998}, title = {A Filter Model for Concurrent lambda-Calculus}, journal = {SIAM Journal on Computing}, volume = {27}, number = {5}, pages = {1376--1419}, doi = {10.1137/S0097539794275860}, ) @inproceedings(DG14, author = {Dezani-Ciancaglini, Mariangiola and Silvia Ghilezan}, year = {2014}, title = {Preciseness of Subtyping on Intersection and Union Types}, booktitle = {RTATLCA}, series = {LNCS}, volume = {8560}, publisher = {Springer}, pages = {194--207}, doi = {10.1007/978-3-319-08918-8\_14}, ) @article(GH05, author = {Simon Gay and Malcolm Hole}, year = {2005}, title = {Subtyping for Session Types in the Pi Calculus}, journal = {Acta Informatica}, volume = {42}, number = {2/3}, pages = {191--225}, doi = {10.1007/s00236-005-0177-z}, ) @book(harp13, author = {Robert Harper}, year = {2013}, title = {Practical Foundations for Programming Languages}, publisher = {Cambridge University Press}, ) @inproceedings(HNHYH13, author = {A. S. Henriksen and L. Nielsen and T. Hildebrandt and N. Yoshida and F. Henglein}, year = {2012}, title = {Trustworthy Pervasive Healthcare Services via Multi-party Session Types}, booktitle = {FHIES}, series = {LNCS}, volume = {7789}, publisher = {Springer}, pages = {124--141}, doi = {10.1007/978-3-642-39088-3\_8}, ) @article(H83, author = {J. Roger Hindley}, year = {1983}, title = {The Completeness Theorem for Typing Lambda-Terms}, journal = {Theoretical Computer Science}, volume = {22}, pages = {1--17}, doi = {10.1016/0304-3975(83)90136-6}, ) @inproceedings(scribble10, author = {Kohei Honda and Aybek Mukhamedov and Gary Brown and Tzu-Chun Chen and Nobuko Yoshida}, year = {2011}, title = {Scribbling Interactions with a Formal Foundation}, booktitle = {ICDCIT}, series = {LNCS}, volume = {6536}, publisher = {Springer}, pages = {55--75}, doi = {10.1007/978-3-642-19056-8\_4}, ) @inproceedings(HYC08, author = {Kohei Honda and Nobuko Yoshida and Marco Carbone}, year = {2008}, title = {Multiparty Asynchronous Session Types}, booktitle = {POPL}, publisher = {ACM Press}, pages = {273--284}, doi = {10.1145/1328438.1328472}, ) @inproceedings(event, author = {Raymond Hu and Dimitrios Kouzapas and Olivier Pernet and Nobuko Yoshida and Kohei Honda}, year = {2010}, title = {Type-Safe Eventful Sessions in {J}ava}, booktitle = {ECOOP}, series = {LNCS}, volume = {6183}, publisher = {Springer}, pages = {329--353}, doi = {10.1007/978-3-642-14107-2\_16}, ) @inproceedings(KY13, author = {Dimitrios Kouzapas and Nobuko Yoshida}, year = {2013}, title = {Globally Governed Session Semantics}, booktitle = {CONCUR}, series = {LNCS}, volume = {8052}, publisher = {Springer}, pages = {395--409}, doi = {10.1145/1328438.1328472}, ) @techreport(BHLN12, author = {Jay Ligatti and Jeremy Blackburn and Michael Nachtigal}, year = {2014}, title = {On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types}, type = {Technical Report}, institution = {University of South Florida}, ) @inproceedings(mostrous_yoshida_honda_esop09, author = {Dimitris Mostrous and Nobuko Yoshida and Kohei Honda}, year = {2009}, title = {Global Principal Typing in Partially Commutative Asynchronous Sessions}, booktitle = {ESOP}, series = {LNCS}, volume = {5502}, publisher = {Springer}, pages = {316--332}, doi = {10.1007/978-3-642-00590-9\_23}, ) @inproceedings(P11, author = {Luca Padovani}, year = {2011}, title = {Session Types = Intersection Types + Union Types}, booktitle = {ITRS}, series = {EPTCS}, volume = {45}, publisher = {Open Publishing Association}, pages = {71--89}, doi = {10.4204/EPTCS.45.6}, ) @book(pier02, author = {Benjamin C. Pierce}, year = {2002}, title = {Types and Programming Languages}, publisher = {MIT Press}, ) @misc(savara, title = {{{S}avara {JB}oss {P}roject}}, note = {\url{http://www.jboss.org/savara}}, ) @inproceedings(THK, author = {Kaku Takeuchi and Kohei Honda and Makoto Kubo}, year = {1994}, title = {{An Interaction-based Language and its Typing System}}, booktitle = {PARLE'94}, series = {LNCS}, volume = {817}, pages = {398--413}, doi = {10.1007/3-540-58184-7\_118}, ) @misc(UNIFI, author = {UNIFI}, year = {2002}, title = {{I}nternational {O}rganization for {S}tandardization {ISO} 20022 {UNI}versal {F}inancial {I}ndustry message scheme}, howpublished = {\url{http://www.iso20022.org}}, ) @inproceedings(YDBH10, author = {Nobuko Yoshida and Pierre{-}Malo Deni{\'{e}}lou and Andi Bejleri and Raymond Hu}, year = {2010}, title = {Parameterised Multiparty Session Types}, booktitle = {FOSSACS}, series = {LNCS}, volume = {6014}, publisher = {Springer}, pages = {128--145}, doi = {10.1007/978-3-642-12032-9\_10}, )