Actors: a model of concurrent computation in distributed systems, 1986. ,
A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997. ,
DOI : 10.1017/S095679689700261X
Global Progress in Dynamically Interleaved Multiparty Sessions, In CONCUR LNCS, vol.5201, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
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
Behavioural types for actor systems ,
Modular session types for distributed object-oriented programming, POPL, pp.299-312, 2010. ,
Multi-threaded Active Objects, In COORDINATION Lecture Notes in Computer Science, vol.7890, pp.90-104, 2013. ,
DOI : 10.1007/978-3-642-38493-6_7
URL : https://hal.archives-ouvertes.fr/hal-01486037
Structuring Communication with Session Types, COB'12, 2012. ,
DOI : 10.1007/11423348_10
URL : https://hal.archives-ouvertes.fr/hal-01213679
Scribbling Interactions with a Formal Foundation, ICDCIT, pp.55-75, 2011. ,
DOI : 10.1007/978-3-642-19056-8_4
Multiparty asynchronous session types, POPL'08, pp.273-284, 2008. ,
Practical Interruptible Conversations, RV'13, pp.130-148, 2013. ,
DOI : 10.1007/978-3-642-40787-1_8
URL : https://hal.archives-ouvertes.fr/hal-01146168
Integrating task parallelism with actors, ACM SIGPLAN Notices, vol.47, issue.10, pp.753-772, 2012. ,
DOI : 10.1145/2398857.2384671
Session Typing for a Featherweight Erlang, In COOR- DINATION LNCS, vol.105, issue.2/3, pp.95-109, 2011. ,
DOI : 10.1016/j.entcs.2004.05.008
SPY: Local Verification of Global Protocols, RV'13, pp.358-363, 2013. ,
DOI : 10.1007/978-3-642-40787-1_25
Multiparty Session C: Safe Parallel Programming with Message Optimisation, TOOLS'12, pp.202-218, 2012. ,
DOI : 10.1007/978-3-642-30561-0_15
Actors, Roles and Coordinators ??? A Coordination Model for Open Distributed and Embedded Systems, In COORDINATION LNCS, vol.4038, pp.247-265, 2006. ,
DOI : 10.1007/11767954_16
JCoBox: Generalizing Active Objects to Concurrent Components, ECOOP, pp.275-299, 2010. ,
DOI : 10.1007/978-3-642-14107-2_13
Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model, Science of Computer Programming, vol.80, pp.52-64, 2014. ,
DOI : 10.1016/j.scico.2013.03.011
Why Do Scala Developers Mix the Actor Model with other Concurrency Models?, pp.302-326, 2013. ,
DOI : 10.1007/978-3-642-39038-8_13