In order to make it easier to assess the scientific merits of the proposal, you may wish to compile a short list of recent scientific publications relating to the topic of the Action. If desired, you could group all the publications authored or co-authored by you as a kind of scientific self-portrait. This should be a maximum of 2 pages.

[AB09] L. Acciai and M. Boreale: Deciding safety properties in infinite-state pi-calculus via behavioural types. Proc. ICALP'09. LNCS 5556:31-42, 2009.

[ABZ10] L. Acciai, M. Boreale and G. Zavattaro: Behavioural contracts with request-response operations. Proc. Coordination'10. LNCS 6116:16-30, 2010.

[BBDL11] M. Boreale, R. Bruni, R. De Nicola and M. Loreti: CaSPiS: A Calculus of Sessions, Pipelines and Services. To appear in MSCS, 2012.

[BCCDC11] V. Bono, S. Capecchi, I. Castellani, and M. Dezani-Ciancaglini: A Reputation System for Multirole Sessions. Proc. TGC'11, LNCS, 2012. To appear.

[BCDCM11] M. G. Buscemi, M. Coppo, M. Dezani-Ciancaglini, and U. Montanari: Constraints for Service Contracts. Proc. TGC'11, LNCS, 2012. To appear.

[BCDDDY08] L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. Dezani-Ciancaglini, and N. Yoshida: Global Progress in Dynamically Interleaved Multiparty Sessions. Proc. CONCUR'08, LNCS 5201:418-433, 2008.

[BCDGV08] L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino, and B. Venneri: Session and Union Types for Object Oriented Programming. In Concurrency, Graphs, and Models. LNCS 5065:659-680, 2008.

[BCdL10] F. Barbanera, S. Capecchi, and U. de' Liguoro: Typing Asymmetric Client-Server Interaction. Proc. FSEN'09, LNCS 5961:97-112, 2010.

[BdL10] F. Barbanera and U. de' Liguoro: Two Notions of Sub-behaviour for Session-based Client/Server Systems. Proc. PPDP'10, ACM SIGPLAN, 155-164, 2010.

[BH12] G. Bernardi and M.Hennessy: Modelling Session Types using Contracts. Proc. 27th Symposium on Applied Computing, 2012. To appear.

[BHJRVÅP11] J. Borgström, S. Huang, M. Johansson, P. Raabjerg, B. Victor, J. Åman Pohjola, J. Parrow: Broadcast Psi-calculi with an Application to Wireless Protocols. In G. Barthe, A. Pardo & G. Schneider (ed.) Software Engineering and Formal Methods, pp74-89, Springer 2011.

[BHTY10] L. Bocchi, K. Honda, E. Tuosto and N. Yoshida: A Theory of Design-by-Contract for Distributed Multiparty Interactions, Proc. CONCUR'10, LNCS 6269:162-176, 2010.

[BJPV09] J. Bengtson, M. Johansson, J. Parrow and B. Victor. Psi-calculi: Mobile processes, nominal data, and logic. Proc. LICS, 2009.

[BLZ08] M. Bravetti, I. Lanese, G. Zavattaro: Contract-Driven Implementation of Choreographies. Proc. of TGC 2008: 1-18, 2008.

[BM09] M. G. Buscemi and H. Melgratti: Abstract Processes in Orchestration Languages. Proc. ESOP 2009. LNCS 5502:301-315, 2009.

[BMP11] V. Bono, C. Messa, and L. Padovani: Typing Copyless Message Passing. Proc. of ESOP'11, LNCS 6602: 57-76, 2011.

[BZ08] M. Bravetti, G. Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4):451-478, 2008.

[CBDHY11] T.-C. Chen, L. Bocchi, P.-M. Denielou, K. Honda and N. Yoshida: Asynchronous Distributed Monitoring for Multiparty Session Enforcement. Proc. TGC'11, LNCS, 2012. To appear.

[CCDCR10] S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, and T. Rezk: Session Types for Access and Information Flow Control. Proc. CONCUR, LNCS 6269:237-252, 2010.

[CCDDG09] S. Capecchi, M. Coppo, M. Dezani-Ciancaglini, S. Drossopoulou, and E. Giachino: Amalgamating Sessions and Methods in Object Oriented Languages with Generics. Theoret. Comp. Sci. 410:142-167, 2009.

[CDC09] M. Coppo and M. Dezani-Ciancaglini: Structured Communications with Concurrent Constraints. Proc. TGC'08, LNCS 5474:104-125, 2009.

[CDCP11] G. Castagna, M. Dezani-Ciancaglini, and L. Padovani: On Global Types and Multi-party Sessions. Proc. FMOODS/FORTE, LNCS 6722:1-28, 2011.

[CDG08] M. Coppo, M. Dezani-Ciancaglini, and E. Giovannetti. Types for Ambient and Process Mobility. Math. Struct. Comp. Sci. 18:221-290, 2008.

[CDGP09] G. Castagna, M. Dezani-Ciancaglini, E. Giachino, and L. Padovani: Foundations of Session Types. Proc. PPDP, 2009.

[CGY10] S. Capecchi, E. Giachino, and N. Yoshida: Global Escape in Multiparty Sessions. Proc. FSTTCS 2010. LIPIcs 8:338-351, 2010.

[CK11] G. Ciobanu and M. Koutny: Timed Migration and Interaction with Access Permissions. Proc. FM, LNCS 6664:293-307, 2011.

[DCdL10] M. Dezani-Ciancaglini and U. de' Liguoro: Sessions and Session Types: an Overview. Proc. WS-FM'09, LNCS 6194:1-28, 2010.

[DCDMY09] M. Dezani-Ciancaglini, S. Drossopoulou, D. Mostrous, and N. Yoshida: Session Types for Object-Oriented Languages. Inf. and Comp. 207(5):595-641, 2009.

[DCGJP11] M. Dezani-Ciancaglini, S. Ghilezan, S. Jaksic, and J. Pantovic: Types for Role-Based Access Control of Dynamic Web Data. Proc. WFLP'10, LNCS 6559:1-29, 2011.

[DCGPV08] M. Dezani-Ciancaglini, S. Ghilezan, J. Pantovic, and D. Varacca: Security Types for Dynamic Web Data. Theoret. Comp. Sci. 402:156-171, 2008.

[DGDY07] M. Dezani-Ciancaglini, E. Giachino, S. Drossopoulou, and N. Yoshida: Bounded session types for object-oriented languages. Proc. FMCO. LNCS 4709:207-245, 2007.

[DHS10] R. Demangeon, D. Hirschkoff, D. Sangiorgi: Termination in Impure Concurrent Languages. Proc. CONCUR 2010, LNCS 6269:328-342, 2010

[DY10] P.-M. Denielou and N. Yoshida: Buffered Communication Analysis in Distributed Multiparty Sessions. Proc CONCUR'10, LNCS 6269: 343-357, 2010.

[DY11] P.-M. Denielou and N. Yoshida: Dynamic multirole session types. Proc. POPL 2011, 435–446, 2011.

[DY12] P.-M. Denielou and N. Yoshida: Multiparty Session Types Meet Communicating Automata. Proc. ESOP 2012, LNCS, 2012. To appear.

[GL11] E. Giachino and C. Laneve: Analysis of deadlocks in object groups. Proc. FMOODS/FORTE, LNCS 6722:168-182, 2011.

[GLMZ09] C. Guidi, I. Lanese, F. Montesi, G. Zavattaro: Dynamic Error Handling in Service Oriented Applications. Fundam. Inform. 95(1):73-102, 2009.

[GV10] S. J. Gay and V. T. Vasconcelos: Linear Type Theory for Asynchronous Session Types. J. Func. Prog. 20(1):19-50, 2010

[GV10a] M. Giunti and V.T. Vasconcelos. A linear account of session types in the pi calculus. Proc. CONCUR, LNCS 6269:237-252, 2010.

[GVRGC10] S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert and A. Z. Caldeira. Modular Session Types for Distributed Object-Oriented Programming. Proc. POPL, 2010

[H11] H. Hüttel: Typed Psi-Calculi. Proc. CONCUR, LNCS 6901, 2011.

[HDKS11] H. Hüttel, M. Dahl, N. Kobayashi and Y. Sun: Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. Proc. 9th International Symposium on Automated Technology for Verification and Analysis. LNCS, 2011.

[HKPYH10] R. Hu, D. Kouzapas, O. Pernet, N. Yoshida and K. Honda: Type-Safe Eventful Sessions in Java, Proc. ECOOP’10: LNCS 6183: 329-353, 2010.

[HMBCY11] K. Honda, A. Mukhamedov, G. Brown, T.-C. Chen and N. Yoshida: Scribbling Interactions with a Formal Foundation, Proc. ICDCIT’11: LNCS: 55-75, 2011.

[HYC08] K. Honda, N. Yoshida and M. Carbone, Multiparty Asynchronous Session Types. Proc POPL’08, 273–284, 2008.

[HYH08] R. Hu, N. Yoshida and K. Honda. Session-Based Distributed Programming in Java. Proc. ECOOP 2008. LNCS 5142: 516–541, 2008.

[KS10] N. Kobayashi, D. Sangiorgi: A hybrid type system for lock-freedom of mobile processes. ACM Trans. Prog. Lang. Syst. 32(5):1-49, 2010.

[KYH11] D. Kouzapas, N. Yoshida and K. Honda: On Asynchronous Session Semantics. Proc. FORTE/FMOODS'2011. LNCS 6722, 2011.

[LGMZ08] I. Lanese, C. Guidi, F. Montesi, G. Zavattaro: Bridging the Gap between Interaction- and Process-Oriented Choreographies. Proc. SEFM 2008:323-332, 2008.

[LP10] H. A. Lopez and J. A. Perez: Time and Exceptional Behavior in Multiparty Structured Interactions. Proc. WS-FM'11, LNCS, 2012.

[MV11] D. Mostrous and V. T. Vasconcelos: Session typing for a featherweight Erlang. Proc. Coordination, LNCS 6721:95-109, 2011.

[MY09] D. Mostrous and N. Yoshida, Session-Based Communication Optimisation for Higher-Order Mobile Processes, Proc. TLCA'09. LNCS 5608:203–218, 2009.

[NYPHK11] N. Ng, N. Yoshida, O. Pernet, R. Hu and Y. Kryftis: Safe Parallel Programming with Session Java. Proc. COORDINATION, LNCS 6721:110-126, 2011.

[P10] L. Padovani: Contract-Based Discovery of Web Services Modulo Simple Orchestrators. Theoret. Comp. Sci. 411:3328-3347, 2010.

[P11] L. Padovani: Fair Subtyping for Multi-Party Session Types. Proc. Coordination, LNCS 6721:127-141, 2011.

[PCPT12] J. A. Perez, L. Caires, F. Pfenning and B. Toninho: Linear Logical Relations for Session-Based Concurrency. Proc. ESOP, LNCS, 2012. To appear.

[V09] Vasco T. Vasconcelos: Session Types for Linear Multithreaded Functional Programming. Proc. PPDP, 2009.

[YDBH10] N. Yoshida, P.-M. Denielou, A. Bejleri and R. Hu, Parameterised Multiparty Session Types. Proc. FOSSACS 2010. LNCS 6014: 128-145, 2010.

[AB10] L. Acciai and M. Boreale: Spatial and behavioral types in the pi-calculus. In Information and Computation 208:1118-1153, 2010.

[AB09] L. Acciai and M. Boreale: Deciding safety properties in infinite-state pi-calculus via behavioural types. Proc. of ICALP'09. LNCS 5556:31-42, 2009.

[AB08] L. Acciai and M. Boreale: A type system for client progress in a service-oriented calculus. LNCS 5065:642-658, 2008.

[ABZ10] L. Acciai, M. Boreale and G. Zavattaro: Behavioural contracts with request-response operations. Proc. of Coordination'10. LNCS 6116:16-30, 2010.

[BBDL11] M. Boreale, R. Bruni, R. De Nicola and M. Loreti: CaSPiS: A Calculus of Sessions, Pipelines and Services. To appear in MSCS, 2011

[BBG11] I. Baltopoulos, J. Borgström, A. Gordon: Maintaining Database Integrity with Refinement Types. In Mezini, Mira (ed.) ECOOP 2011 – Object-Oriented Programming, Berlin: Springer-Verlag. 484-509, 2011

[BCS11] J. Borgström, J. Chen, N. Swamy: Verified Stateful Programs with Substructural State and Hoare Types. In Proc. 5th ACM Workshop on Programming Languages Meets Program Verification, New York: ACM Press. 15-26, 2011

[BGP11] J. Borgström, A. Gordon, R. Pucella: Roles, stacks, histories: A triple for Hoare. Journal of functional programming, Cambridge University Press. 21(2): 159-207, 2011

[BHJRVÅP11] J. Borgström, S. Huang, M. Johansson, P. Raabjerg, B. Victor, J. Åman Pohjola, J. Parrow: Broadcast Psi-calculi with an Application to Wireless Protocols. In G. Barthe, A. Pardo & G. Schneider (red.) Software Engineering and Formal Methods, Berlin: Springer Berlin/Heidelberg. 74-89, 2011

[BJPV09] J. Bengtson, M. Johansson, J. Parrow and B. Victor. Psi-calculi: Mobile processes, nominal data, and logic. In Proc. 24th Annual IEEE Symposium on Logic in Computer Science, pp 39-48, IEEE, Piscataway, NJ, 2009.

[BJPV11] J. Bengtson, M. Johansson, J. Parrow and B. Victor: Psi-calculi: a framework for mobile processes with nominal data and logic. In Logical Methods in Computer Science, volume 7, number 1, p 11, 2011.

[BM09] M. G. Buscemi and H. Melgratti: Abstract Processes in Orchestration Languages. Proc. of ESOP 2009. LNCS 5502:301-315, 2009.

[BP09] J. Bengtson and J. Parrow: Psi-calculi in Isabelle. In Theorem Proving in Higher Order Logics: Proceedings of TPHOLs 2009, volume 5674 of Lecture Notes in Computer Science, pp 99-114, Springer-Verlag, Berlin, 2009.

[JBPV10] M. Johansson, J. Bengtson, J. Parrow and B. Victor: Weak Equivalences in Psi-Calculi. In Logic in Computer Science (LICS), 322 - 331, 2010

[JVP12] M. Johansson, B. Victor and J. Parrow: Computing Strong and Weak Bisimulations for Psi-Calculi. In Journal of Logic and Algebraic Programming, volume 81, 2012.

[BCCDC11] V. Bono, S. Capecchi, I. Castellani, and M. Dezani-Ciancaglini: A Reputation System for Multirole Sessions. Proc. of TGC'11, LNCS, to appear.

[BCDCM11] M. G. Buscemi, M. Coppo, M. Dezani-Ciancaglini, and U. Montanari: Constraints for Service Contracts. Proc. of TGC'11, LNCS, to appear.

[BCDDDY08] L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. Dezani-Ciancaglini, and N. Yoshida: Global Progress in Dynamically Interleaved Multiparty Sessions. Proc. of CONCUR'08, LNCS 5201: 418-433, 2008.

[BCDGV11] L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino, and B. Venneri: Deriving Session and Union Types for Objects. Mathematical Structures in Computer Science, 2011. To appear.

[BCDGV08] L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino, and B. Venneri: Session and Union Types for Object Oriented Programming. In Concurrency, Graphs, and Models. LNCS 5065:659-680, 2008.

[BCdL10] F. Barbanera, S. Capecchi, and U. de' Liguoro: Typing Asymmetric Client-Server Interaction. Proc. of FSEN'09, LNCS 5961: 97-112, 2010.

[BdL10] F. Barbanera and U. de' Liguoro: Two Notions of Sub-behaviour for Session-based Client/Server Systems. Proc. of PPDP'10, ACM SIGPLAN, 155-164, 2010.

[BH12] G. Bernardi and M.Hennessy: Modelling Session Types using Contracts. Proc. 27th Symposium on Applied Computing, To appear 2012.

[BMBRS11] F. Bonchi, M. Bonsangue, M. Boreale, J. Rutten, A. Silva: A coalgebraic perspective on linear weighted automata. CWI Technical Report SEN-1104, 2011, pp. 1 - 31. To appear in Information and Computation.

[Bor09] M. Boreale: Weighted Bisimulation in Linear Algebraic Form. Proc. of CONCUR'09. LNCS 5710:163-177, 2009.

[BLZ11] E. Broch Johnsen, I. Lanese, G. Zavattaro: Fault in the Future. Proc. of COORDINATION 2011: 1-15, 2011

[BLZ08] M. Bravetti, I. Lanese, G. Zavattaro: Contract-Driven Implementation of Choreographies. Proc. of TGC 2008: 1-18, 2008.

[BMP11] V. Bono, C. Messa, and L. Padovani: Typing Copyless Message Passing. Proc. of ESOP'11, LNCS 6602: 57-76, 2011.

[BP11] V. Bono and L. Padovani: Polymorphic Endpoint Types for Copyless Message Passing. Proc. of ICE’ 08, EPTCS 59: 52-67, 2011.

[BZ09] M. Bravetti, G. Zavattaro: A Theory of Contracts for Strong Service Compliance. In Mathematical Structures in Computer Science, 19(3): 601 - 638, 2009.

[BZ09b] M. Bravetti, G. Zavattaro: Contract Compliance and Choreography Conformance in the Presence of Message Queues. Proc. of WS-FM'08, LNCS 5387: 37-54, 2009.

[BZ08] M. Bravetti, G. Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. In Fundamenta Informaticae, 89(4): 451 - 478, 2008.

[BZ07] M. Bravetti, G. Zavattaro: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. Proc. of SC'07, LNCS 4829:34-50, 2007.

[CCDC11] S. Capecchi, I. Castellani, and M. Dezani-Ciancaglini: Information Flow Safety in Multiparty Sessions. Proc. of EXPRESS'11, EPTCS 64:16-31, 2011.

[CCDDG09] S. Capecchi, M. Coppo, M. Dezani-Ciancaglini, S. Drossopoulou, and E. Giachino: Amalgamating Sessions and Methods in Object Oriented Languages with Generics. Theoretical Computer Science, 410:142-167, 2009.

[CCDCR10] S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, and T. Rezk: Session Types for Access and Information Flow Control. Proc. of CONCUR'10, LNCS 6269: 237-252, 2010.

[CDC09] M. Coppo and M. Dezani-Ciancaglini: Structured Communications with Concurrent Constraints. Proc. of TGC'08, LNCS 5474: 104-125, 2009.

[CDCP11] G. Castagna, M. Dezani-Ciancaglini, and L. Padovani: On Global Types and Multi-party Sessions. Proc of FMOODS/FORTE 2011, LNCS 6722: 1-28, 2011.

[CDG08] M. Coppo, M. Dezani-Ciancaglini, and E. Giovannetti. Types for Ambient and Process Mobility. Mathematical Structures in Computer Science, 18: 221-290, 2008.

[CDGP09] G. Castagna, M. Dezani-Ciancaglini, E. Giachino, and L. Padovani: Foundations of Session Types. Proc. of PPDP 2009:219-230, 2009.

[CGY10] S. Capecchi, E. Giachino, and N. Yoshida: Global Escape in Multiparty Sessions. Proc. of FSTTCS 2010. LIPIcs 8:338-351, 2010.

[CH11] I. Cristescu and D. Hirschkoff: Termination in a Pi-calculus with Subtyping. Proc. of Express 2011, EPTCS 64, 2011.

[DGDY07] M. Dezani-Ciancaglini, E. Giachino, S. Drossopoulou, and N. Yoshida: Bounded session types for object-oriented languages. Proc. of FMCO. LNCS 4709:207-245, 2007.

[DCDMY09] M. Dezani-Ciancaglini, S. Drossopoulou, D. Mostrous, and N. Yoshida: Session Types for Object-Oriented Languages. Information and Computation, 207(5): 595-641, 2009.

[DCGJP11] M. Dezani-Ciancaglini, S. Ghilezan, S.Jaksic, and J. Pantovic: Types for Role-Based Access Control of Dynamic Web Data. Proc. of WFLP'10, LNCS 6559: 1-29, 2011.

[DCGPV08] M. Dezani-Ciancaglini, S. Ghilezan, J. Pantovic, and D. Varacca: Security Types for Dynamic Web Data. Theoretical Computer Science, 402: 156-171, 2008.

[DCdL10] M. Dezani-Ciancaglini and U. de' Liguoro: Sessions and Session Types: an Overview. Proc. of WS-FM'09, LNCS 6194: 1-28, 2010.

[DGJL10] P. Di Gianantonio, S. Jakšić, M. Lenisa: Efficient Bisimulation from Second-order reaction Semantics for pi-calculus. Proc.of CONCUR 2010, LNCS 6269: 358-372, 2010.

[DHS10] R. Demangeon, D. Hirschkoff, D. Sangiorgi: Termination in Impure Concurrent Languages. Proc. of CONCUR 2010, LNCS 6269: 328-342, 2010

[DHS10a] R. Demangeon, D. Hirschkoff, D. Sangiorgi: Termination in higher-order concurrent calculi. J. Log. Algebr. Program. 79(7):550-577, 2010.

[DMS10] U. Dal Lago, S. Martini, D. Sangiorgi: Light Logics and Higher-Order Processes. Proc. of EXPRESS 2010, EPTCS 41: 46-60, 2010

[GJPDC12] S. Ghilezan, S. Jaksic, J. Pantovic, M. Dezani-Ciancaglini: Types and Roles for Web Security, Transactions on Advanced Research 8 (2): 16-21, 2012.

[GL11] E. Giachino and C. Laneve: Analysis of deadlocks in object groups. Proc. of FMOODS/FORTE 2011. LNCS 6722:168-182, 2011.

[GLMZ09] C. Guidi, I. Lanese, F. Montesi, G. Zavattaro: Dynamic Error Handling in Service Oriented Applications. Fundam. Inform. 95(1): 73-102, 2009.

[GV10] S. J. Gay and V. T. Vasconcelos: Linear Type Theory for Asynchronous Session Types. Journal of Functional Programming 20(1):19-50, 2010

[GVRGC10] S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert and A. Z. Caldeira. Modular Session Types for Distributed Object-Oriented Programming. In: Proceedings of the 37th ACM Symposium on Principles of Programming Languages, 2010

[Gay08] S. J. Gay. Bounded polymorphism in session types. Mathematical Structures in Computer Science, 18(5):895-930, 2008.

[GV10] M. Giunti and V.T. Vasconcelos. A linear account of session types in the pi calculus. Proc. of CONCUR'10, LNCS 6269: 237-252, 2010.

[Giu11] M. Giunti. A type checking algorithm for qualified session types. Proc. of WWV'11, EPTCS 61: 96-114, 2011.

[HHG09] H. Hüttel, A. Gordon, R. Hansen: Type inference for correspondence types. Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo'08). Elsevier Science, 2009. pp. 21-36 (Electronic Notes in Theoretical Computer Science; 242).

[HGFK10] H. Hüttel, J. Garm Nielsen, P. Finderup, J. Svane Knudsen: Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. Proceedings of CATS 2010 - Computing: The Australasian Theory Symposium. Vol. 109 Australian Computer Society, 2010. (Conferences in Research and Practice in Information Technology ).

[Hut10] H. Hüttel: Computing effects for correspondence types. Proceedings of FCS'09. Ed. Véronique Cortier. 2010. pp. 75-89.

[HDK11] H. Hüttel, M. Dahl, N. Kobayashi and Y. Sun: Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. 2011 9th International Symposium on Automated Technology for Verification and Analysis. Springer Berlin / Heidelberg 15 pp. (Lecture Notes in Computer Science).

[Hut11] H. Hüttel: Typed Psi-Calculi. Proceedings of CONCUR 2011. König, B. & Katoen, J. (red.). 6901. Springer Berlin / Heidelberg 15 p. (Lecture Notes in Computer Science).

[LCMZ08] I. Lanese, C. Guidi, F. Montesi, G. Zavattaro: Bridging the Gap between Interaction- and Process-Oriented Choreographies. Proc. of SEFM 2008: 323-332, 2008.

[KS10] N. Kobayashi, D. Sangiorgi: A hybrid type system for lock-freedom of mobile processes. ACM Trans. Program. Lang. Syst. 32(5): 1-49, 2010

[LP10] H. A. Lopez and J. A. Perez: Time and Exceptional Behavior in Multiparty Structured Interactions. To appear in Post-proceedings of WS-FM'11, LNCS, 2012.

[MV11] D. Mostrous and V. T. Vasconcelos: Session typing for a featherweight Erlang. Proc. of Coordination 2011, LNCS 6721: 95-109, 2011.

[Pad11a] L. Padovani: Fair Subtyping for Multi-Party Session Types. Proc. of Coordination 2011, LNCS 6721: 127-141, 2011.

[Pad11b] L. Padovani: Session Types = Intersection Types + UnionTypes. Proc of ITRS'10, EPTCS 45: 71-89, 2011.

[Pad10] L. Padovani: Contract-Based Discovery of Web Services Modulo Simple Orchestrators. Theoretical Computer Science, 411: 3328-3347, 2010.

[PCPT12] J. A. Perez, L. Caires, F. Pfenning and B. Toninho: Linear Logical Relations for Session-Based Concurrency. To appear in Proc. of ESOP’12, LNCS, 2012.

[PS93] B. C. Pierce, D. Sangiorgi: Typing and Subtyping for Mobile Processes. Proc. of LICS 1993: 376-385, 1993.

[PS12] D. Pous and D. Sangiorgi: Enhancements of the bisimulation proof method. In “Advanced Topics in Bisimulation and Coinduction”, D. Sangiorgi and J. Rutten (eds), Cambridge University Press, 2012.

[SCDCD10] A. J. Summers, N. Cameron, M.Dezani-Ciancaglini, and S. Drossopoulou: Towards a Semantic Model for Java Wildcards. Proc of FTfJP'10, 2:7, 2010.

[Vas09] Vasco T. Vasconcelos: Session Types for Linear Multithreaded Functional Programming. Proc. PPDP 2009:1-6, 2009.

[Vas08] Vasco T. Vasconcelos: Fundamentals of Session Types. LNCS 5569: 158-186, 2009.

Simon: Please precede remarks with your name.