J. Aldrich, J. Sunshine, D. Saini, and Z. Sparks, Typestate-oriented programming, Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, OOPSLA '09, 2009.
DOI : 10.1145/1639950.1640073
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2156

P. S. Almeida, Balloon types: Controlling sharing of state in data types, Proceedings of the 11th European Conference on Object-Oriented Programming, pp.32-59, 1997.
DOI : 10.1007/BFb0053373

H. G. Baker, ???Use-once??? variables and linear objects, ACM SIGPLAN Notices, vol.30, issue.1, pp.45-52, 1995.
DOI : 10.1145/199818.199860

N. E. Beckman, K. Bierhoff, and J. Aldrich, Verifying correct usage of atomic blocks and typestate, Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp.227-244, 2008.

K. Bierhoff and J. Aldrich, Lightweight object specification with typestates, Proceedings of the 13th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pp.217-226, 2005.

K. Bierhoff and J. Aldrich, Modular typestate checking of aliased objects, Proceedings of the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp.301-320, 2007.

K. Bierhoff and J. Aldrich, PLURAL, Companion of the 13th international conference on Software engineering , ICSE Companion '08, pp.971-972, 2008.
DOI : 10.1145/1370175.1370213

K. Bierhoff, N. E. Beckman, and J. Aldrich, Practical API Protocol Checking with Access Permissions, Proceedings of the 23rd European Conference on Object-Oriented Programming, pp.195-219, 2009.
DOI : 10.1109/TSE.1986.6312929
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.2340

E. Bonelli and A. Compagnoni, Multipoint Session Types for a Distributed Calculus, Proceedings of the 3rd International Symposium on Trustworthy Global Computing (TGC), pp.240-256, 2007.
DOI : 10.1007/978-3-540-78663-4_17

V. Bono, C. Messa, and L. Padovani, Typing copyless message passing, Proceedings of ESOP, number 6602 in LNCS, pp.57-76, 2011.
DOI : 10.1007/978-3-642-19718-5_4
URL : http://arxiv.org/abs/1202.2086

L. Caires, Spatial-behavioral types for concurrency and resource control in distributed systems, Theoretical Computer Science, vol.402, issue.2-3, pp.120-141, 2008.
DOI : 10.1016/j.tcs.2008.04.030

L. Caires and H. T. Vieira, Conversation types, Theoretical Computer Science, vol.411, pp.51-524399, 2010.

J. Campos, Linear and shared objects in concurrent programming, 2010.

J. Campos and V. T. Vasconcelos, Channels as Objects in Concurrent Object-Oriented Programming, Proceedings of the 3rd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010.
DOI : 10.4204/EPTCS.69.2

M. Capecchi, M. Coppo, S. Dezani-ciancaglini, E. Drossopoulou, and . Giachino, Amalgamating sessions and methods in object-oriented languages with generics, Theoretical Computer Science, vol.410, issue.2-3, pp.2-3142, 2009.
DOI : 10.1016/j.tcs.2008.09.016

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, Proceedings of the 16th European Symposium on Programming Languages and Systems (ESOP), pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2

S. Chaki, S. K. Rajamani, and J. Rehof, Types as models: model checking message-passing programs, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.45-57, 2002.

D. G. Clarke, J. M. Potter, and J. Noble, Ownership types for flexible alias protection, Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp.48-64, 1998.

J. Colaço, M. Pantel, F. Dagnat, and P. Sallé, Static Safety Analysis for Non-Uniform Service Availability in Actors, Proceedings of the IFIP TC6/WG6.1 3rd International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), volume 139 of IFIP Conference Proceedings. Kluwer, 1999.
DOI : 10.1007/978-0-387-35562-7_29

J. Colaço, M. Pantel, and P. Sallé, A Set-Constraint-based analysis of Actors, Proceedings of the IFIP TC6/WG6.1 International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp.107-122, 1997.
DOI : 10.1007/978-0-387-35261-9_8

L. Cruz-filipe, I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, The stream-based service-centred calculus: a foundation for service-oriented programming, Formal Aspects of Computing, vol.368, issue.1???2, pp.865-918, 2014.
DOI : 10.1007/s00165-013-0284-5

F. Damiani, E. Giachino, P. Giannini, and S. Drossopoulou, A type safe state abstraction for coordination in Java-like languages, Acta Informatica, vol.1, issue.115, pp.7-8479, 2008.
DOI : 10.1007/s00236-008-0079-y

R. Deline and M. Fähndrich, Enforcing high-level protocols in low-level software, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.59-69, 2001.

R. Deline and M. Fähndrich, The Fugue protocol checker: is your software Baroque?, 2004.

M. Dezani-ciancaglini, S. Drossopoulou, E. Giachino, and N. Yoshida, Bounded Session Types for Object Oriented Languages, Proceedings of the 5th International Symposium on Formal Methods for Components and Objects, pp.207-245, 2006.
DOI : 10.1007/978-3-540-74792-5_10

M. Dezani-ciancaglini, S. Drossopoulou, D. Mostrous, and N. Yoshida, Objects and session types, Information and Computation, vol.207, issue.5, pp.595-641, 2009.
DOI : 10.1016/j.ic.2008.03.028
URL : https://hal.archives-ouvertes.fr/hal-00909312

M. Dezani-ciancaglini, D. Mostrous, N. Yoshida, and S. Drossopolou, Session Types for Object-Oriented Languages, Proceedings of the 20th European Conference on Object-Oriented Programming, pp.328-352, 2006.
DOI : 10.1007/11785477_20

M. Dezani-ciancaglini, N. Yoshida, A. Ahern, and S. Drossopolou, A Distributed Object-Oriented Language with Session Types, Proceedings of the International Symposium on Trustworthy Global Computing (TGC), pp.299-318, 2005.
DOI : 10.1007/11580850_16

M. Fähndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. Hunt et al., Language support for fast and reliable message-based communication in Singularity OS, EuroSys, pp.177-190, 2006.

M. Fähndrich and R. Deline, Adoption and focus: practical linear types for imperative programming, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.13-24, 2002.

M. Fähndrich and R. Deline, Typestates for objects, Proceedings of the 13th European Symposium on Programming Languages and Systems (ESOP), pp.465-490, 2004.

J. S. Foster, T. Terauchi, and A. Aiken, Flow-sensitive type qualifiers, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.1-12, 2002.
DOI : 10.1145/512529.512531
URL : http://HTTP.CS.Berkeley.EDU/~jfoster/papers/pldi02-flow.ps.gz

R. Garcia, E. Tanter, R. Wolff, and J. Aldrich, Foundations of Typestate-Oriented Programming, ACM Transactions on Programming Languages and Systems, vol.36, issue.4, 2014.
DOI : 10.1145/2629609

S. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert, and A. Z. Caldeira, Modular session types for distributed object-oriented programming, Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.299-312, 2010.

S. J. Gay and M. J. Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005.
DOI : 10.1007/s00236-005-0177-z

S. J. Gay, A. Ravara, and V. T. Vasconcelos, Session types for inter-process communication, 2003.

S. J. Gay and V. T. Vasconcelos, Linear type theory for asynchronous session types, Journal of Functional Programming, vol.73, issue.01, pp.19-50, 2010.
DOI : 10.1006/inco.1994.1093

D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang et al., Region-based memory management in Cyclone, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.282-293, 2002.

J. Hogg, Islands: aliasing protection in object-oriented languages, Proceedings of the 6th ACM SIG- PLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp.271-285, 1991.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.273-284, 2008.
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Proceedings of the 7th European Symposium on Programming Languages and Systems (ESOP), pp.122-138, 1998.
DOI : 10.1007/BFb0053567

R. Hu, D. Kouzapas, O. Pernet, N. Yoshida, and K. Honda, Type-Safe Eventful Sessions in Java, Proceedings of the 24th European Conference on Object-Oriented Programming, pp.329-353, 2010.
DOI : 10.1007/978-3-642-14107-2_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.6729

R. Hu, N. Yoshida, and K. Honda, Session-Based Distributed Programming in Java, Proceedings of the 22nd European Conference on Object-Oriented Programming, pp.516-541, 2008.
DOI : 10.1007/978-3-540-70592-5_22

A. Igarashi and N. Kobayashi, A generic type system for the Pi-calculus, Theoretical Computer Science, vol.311, issue.1-3, pp.121-163, 2004.
DOI : 10.1016/S0304-3975(03)00325-6

A. Igarashi and N. Kobayashi, Resource usage analysis, ACM Transactions on Programming Languages and Systems, vol.27, issue.2, pp.264-313, 2005.
DOI : 10.1145/1057387.1057390
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1756

N. Kobayashi, Type-based information flow analysis for the ??-calculus, Acta Informatica, vol.15, issue.2/3, pp.291-347, 2005.
DOI : 10.1007/s00236-005-0179-x

N. Kobayashi, K. Suenaga, and L. Wischik, Resource usage analysis for the ?-calculus, Logical Methods in Computer Science, vol.2, issue.34, pp.1-42, 2006.

B. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

L. G. Mezzina, Typing Services, 2009.

F. Militão, Design and implementation of a behaviorally typed programming system for web services, 2008.

F. Militão, J. Aldrich, and L. Caires, Aliasing control with view-based typestate, Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP '10, 2010.
DOI : 10.1145/1924520.1924527

D. Mostrous and V. T. Vasconcelos, Session Typing for a Featherweight Erlang, Proceedings of the 13th International Conference on Coordination Models and Languages, pp.95-109, 2011.
DOI : 10.1016/j.entcs.2004.05.008

E. Najm, A. Nimour, and J. Stefani, Guaranteeing Liveness in an Object Calculus Through Behavioral Typing, Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification , Testing and Verification (PSTV XIX), pp.203-221, 1999.
DOI : 10.1007/978-0-387-35578-8_12

E. Najm, A. Nimour, and J. Stefani, Infinite Types for Distributed Object Interfaces, Proceedings of the IFIP TC6 WG6.1 3rd International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), volume 139 of IFIP Conference Proceedings. Kluwer, 1999.
DOI : 10.1007/978-0-387-35562-7_28

M. Neubauer and P. Thiemann, An Implementation of Session Types, Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages (PADL), pp.56-70, 2004.
DOI : 10.1007/978-3-540-24836-1_5

N. Ng, N. Yoshida, O. Pernet, R. Hu, and Y. Kryftis, Safe Parallel Programming with Session Java, Proceedings of the 13th International Conference on Coordination Models and Languages (COORDI- NATION'11), pp.110-126, 2011.
DOI : 10.1007/978-3-642-12032-9_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.185.4543

O. Nierstrasz, Regular types for active objects, Object-Oriented Software Composition, pp.99-121, 1995.
DOI : 10.1145/167962.167976
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.9575

N. Nystrom, M. R. Clarkson, and A. C. Myers, Polyglot: An Extensible Compiler Framework for Java, Proceedings of the 12th International Conference on Compiler Construction (CC), pp.138-152, 2003.
DOI : 10.1007/3-540-36579-6_11

J. Östlund, T. Wrigstad, D. Clarke, and B. Åkerblom, Ownership, Uniqueness, and Immutability, Objects , Components, Models and Patterns: 46th International Conference, pp.178-197, 2008.
DOI : 10.1007/978-3-540-69824-1_11

B. C. Pierce, Types and Programming Languages, 2002.

R. Pucella and J. A. Tov, Haskell session types with (almost) no class, Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, pp.25-36, 2008.
DOI : 10.1145/1543134.1411290
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.9178

F. Puntigam, State inference for dynamically changing interfaces, Computer Languages, vol.27, issue.4, pp.163-202, 2002.
DOI : 10.1016/S0096-0551(01)00019-4

F. Puntigam and C. Peter, Types for active objects with static deadlock prevention, Fundamenta Informaticae, vol.49, pp.1-27, 2001.

A. Ravara and V. T. Vasconcelos, Typing Non-uniform Concurrent Objects, Proceedings of the 11th International Conference on Concurrency Theory (CONCUR), pp.474-488, 2000.
DOI : 10.1007/3-540-44618-4_34

J. G. Rossie and J. , Logical observable entities, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.154-165, 1998.

R. E. Strom and S. Yemini, Typestate: A programming language concept for enhancing software reliability, IEEE Transactions on Software Engineering, vol.12, issue.1, pp.157-171, 1986.
DOI : 10.1109/TSE.1986.6312929

K. Takeuchi, K. Honda, and M. Kubo, An interaction-based language and its typing system, Proceedings of the 6th International Conference on Parallel Architectures and Langauges Europe (PARLE), pp.398-413, 1994.
DOI : 10.1007/3-540-58184-7_118

J. A. Tov and R. Pucella, Practical affine types, Proceedings of POPL, 2011.

A. Vallecillo, V. T. Vasconcelos, and A. Ravara, Typing the behavior of software components using session types, Fundamenta Informaticae, vol.73, issue.4, pp.583-598, 2006.

V. T. Vasconcelos, S. J. Gay, and A. Ravara, Type checking a multithreaded functional language with session types, Theoretical Computer Science, vol.368, issue.1-2, pp.64-87, 2006.
DOI : 10.1016/j.tcs.2006.06.028

R. Wolff, R. Garcia, E. Tanter, and J. Aldrich, Gradual Typestate, Proceedings of ECOOP, 2011.
DOI : 10.1109/TSE.1986.6312929

A. K. Wright and M. Felleisen, A Syntactic Approach to Type Soundness, Information and Computation, vol.115, issue.1, pp.38-94, 1994.
DOI : 10.1006/inco.1994.1093