G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems

J. Aldrich, J. Sunshine, D. Saini, Z. Sparks, and A. Doi:........, Typestateoriented programming, Proceedings of the th ACM SIGPLAN Conference Companion on Object-Oriented Programming Systems Languages and Applications (OOPSLA'''), p.pages ?????

G. Henry, C. Baker, and /. .. Hewitt, The incremental garbage collection of processes

S. Balzer and F. Pfenning, Manifest sharing with session types, Proceedings of the ACM on Programming Languages, vol.1, issue.ICFP
DOI : 10.1145/2364527.2364568

N. E. Beckman, D. Kim, and J. Aldrich, An Empirical Study of Object Protocols in the Wild, Proceedings of the th European Conference on Object- Oriented Programming
DOI : 10.1007/978-3-642-03013-0_15

N. Benton, L. Cardelli, and C. .. Fournet, Modern concurrency abstractions for C#, ACM Transactions on Programming Languages and Systems
DOI : 10.1007/3-540-47993-7_18
URL : http://research.microsoft.com/~nick/polyphony/PolyphonyTOPLAS.A4.ps

G. Berry and G. Boudol, The Chemical Abstract Machine, Theoretical Compututer Science
DOI : 10.1145/96709.96717
URL : https://hal.archives-ouvertes.fr/inria-00075426

A. Janusz and /. .. Brzozowski, Derivatives of Regular Expressions, Journal of ACM

. Springer and . .. Doi:., Luís Caires and Frank Pfenning Session Types as Intuitionistic Linear Propositions, Proceedings of the th International Conference on Concurrency Theory, p.pages ????

J. Conway, Regular Algebra and Finite Machines

M. Coppo, M. Dezani-ciancaglini, L. Padovani, and N. Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, Proceedings of the th International Conference on Coordination Models and Languages
DOI : 10.1007/978-3-642-38493-6_4
URL : https://hal.archives-ouvertes.fr/hal-01486034

S. Crafa, L. Padovani, and :. .. , The Chemical Approach to Typestate-Oriented Programming, ACM Transactions on Programming Languages and Systems
URL : https://hal.archives-ouvertes.fr/hal-01155682

R. Deline, M. Fähndrich, and :. .. , Typestates for Objects, Proceedings of the th European Conference on Object-Oriented Programming, p.pages ????
DOI : 10.1007/978-3-540-24851-4_21

C. Fournet, G. Gonthier, and A. Doi:.....-/...., The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, p.pages ????
DOI : 10.1145/237721.237805
URL : ftp://ftp.inria.fr/INRIA/Projects/para/fournet/rcham-jcalc-2x9pt.ps.Z

C. Fournet, C. Laneve, L. Maranget, and D. Rémy, Inheritance in the Join Calculus, Journal of Logic and Algebraic Programming
DOI : 10.1016/s1567-8326(03)00040-7
URL : https://doi.org/10.1016/s1567-8326(03)00040-7

S. Fowler, S. Lindley, P. Wadler, and .. , Mixing metaphors: Actors as channels and channels as actors, Proceedings of the st European Conference on Object-Oriented Programming volume of LIPIcs, pages ::???:::. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, . doi:::...../LIPIcs. ECOOP

R. Garcia, É. Tanter, R. Wolff, J. Aldrich, and . .. Doi:., Foundations of Typestate-Oriented Programming, ACM Transactions on Programming Languages and Systems, vol.36, issue.4
DOI : 10.1109/TSE.1986.6312929

P. Haller, T. Van-cutsem, . Springer, and . .. Doi:., Implementing Joins Using Extensible Pattern Matching, Proceedings of the th International Conference on Coordination Models and Languages, p.pages ????
DOI : 10.1007/978-3-540-68265-3_9
URL : http://lampwww.epfl.ch/~phaller/doc/HallerVanCutsem08JoinsExtensiblePatternMatching.pdf

C. Hewitt, P. Bishop, and R. Steiger, A Universal Modular ACTOR Formalism for Artificial Intelligence, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'''), p.pages ????

K. Honda, N. Yoshida, M. Carbone, and . .. Doi:., Multiparty Asynchronous Session Types, Journal of ACM
DOI : 10.1145/2827695
URL : http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty_full.pdf

N. Kobayashi and .. , A Type System for Lock-Free Processes
DOI : 10.1016/s0890-5401(02)93171-8
URL : http://www-kb.is.s.u-tokyo.ac.jp/%7Ekoba/papers/IC-lockfreedom.pdf

N. Kobayashi, Type-based information flow analysis for the pi-calculus, Acta Informatica, pp.ssssss-x

N. Kobayashi, C. Laneveic, and .. , Deadlock analysis of unbounded process networks, Information and Computation, vol.252
DOI : 10.1016/j.ic.2016.03.004
URL : https://hal.archives-ouvertes.fr/hal-01091749

N. Lange, B. Ng, N. Toninho, A. Yoshida, and . Doi:...-/...., Fencing off go: liveness and safety for channel-based programming, Proceedings of the th ACM SIGPLAN Symposium on Principles of Programming Languages, p.pages ????
DOI : 10.1145/3009837.3009847
URL : http://dl.acm.org/ft_gateway.cfm?id=3009847&type=pdf

S. Lindley, J. Garrett-morris, and :. .. , A Semantics for Propositions as Sessions, Proceedings of the th European Symposium on Programming, p.pages ????
DOI : 10.1007/978-3-662-46669-8_23
URL : http://homepages.inf.ed.ac.uk/slindley/papers/gv-semantics.pdf

L. Padovani, From Lock Freedom to Progress Using Session Types, Proceedings of the th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'''), EPTCS, p.pages ???
DOI : 10.1145/2364527.2364568
URL : http://www.di.unito.it/%7Epadovani/Papers/LockFreedomGlobalProgress.pdf

L. .. Padovani, Deadlock and lock freedom in the linear ??-calculus, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14
DOI : 10.1145/2603088.2603116
URL : https://hal.archives-ouvertes.fr/hal-00932356

L. Padovani, Type-Based Analysis of Linear Communications, Behavioural Types: from Theory to Tools doi:::....../rp, p.pages ????

L. Padovani, A. Tzu-chun-chen, and :. .. Tosatto, Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear ??-Calculi, Proceedings of the th International Conference on Coordination Models and Languages
DOI : 10.1007/978-3-319-19282-6_6
URL : https://hal.archives-ouvertes.fr/hal-01105202

L. Padovani and L. Novara, Types for Deadlock-Free Higher-Order Programs, Proceedings of the IFIP International Conference on Formal Methods and Techniques
DOI : 10.1007/978-3-319-19195-9_1
URL : https://hal.archives-ouvertes.fr/hal-00954364

L. Padovani, T. Vasco, H. Vasconcelos, . Springer, and . .. Doi:, Typing Liveness in Multiparty Communicating Systems, Proceedings of the th International Conference on Coordination Models and Languages, p.pages ????
DOI : 10.1007/978-3-662-43376-8_10
URL : https://hal.archives-ouvertes.fr/hal-01290074

C. V. Russo and :. .. , The Joins Concurrency Library, Proceedings of the th International Symposium on Practical Aspects of Declarative Languages (PADL'), LNCS, p.pages ????
DOI : 10.1007/978-3-540-69611-7_17
URL : http://research.microsoft.com/%7Ecrusso/papers/tutorial.pdf

V. Deadlock-free-typestate-oriented-programming-claudio, A. Russo, and . Doi:....-/, Join patterns for visual basic Éric Tanter. First-class state change in Plaid, Proceedings of the rd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA''') Proceedings of the th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, p.pages ???. pages ????

A. Joseph-turon, C. V. Russo, and A. Doi:.....-/, Scalable join patterns, Proceedings of the th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'''), p.pages ????