G. Agha and C. J. Callsen, ActorSpaces: An open distributed programming paradigm, Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 1993, pp.23-32, 1993.
DOI : 10.1145/155332.155335

A. Gul and . Agha, ACTORS ? A Model of Concurrent Computation in Distributed Systems series in artificial intelligence, 1986.

M. Astley and G. Agha, Customizaton and compositon of distributed objects: Middleware abstractions for policy management, SIGSOFT FSE, pp.1-9, 1998.

T. Deepak, C. , and S. Toueg, Unreliable failure detectors for reliable distributed systems, J. ACM, vol.43, pp.225-267, 1996.

J. Field and C. A. Varela, Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, pp.195-208, 2005.

S. Frølund, Coordinating distributed objects -an actor-based approach to synchronization, 1996.

S. Frølund and G. Agha, A Language Framework for Multi-Object Coordination, ECOOP'93 -Object-Oriented Programming, 7th European Conference, pp.346-360, 1993.
DOI : 10.1007/3-540-47910-4_18

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

E. Letuchy, Facebook chat. Blog entry, 2008.

J. Meseguer and C. L. Talcott, Semantic Models for Distributed Object Reflection, ECOOP 2002 -Object-Oriented Programming, 16th European Conference, pp.1-36, 2002.
DOI : 10.1007/3-540-47993-7_1

S. Mark and . Miller, Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, 2006.

H. Naftaly, Y. Minsky, V. Minsky, and . Ungureanu, Safe tuplespace-based coordination in multiagent systems, Applied Artificial Intelligence, vol.15, issue.1, pp.11-33, 2001.

H. Naftaly, V. Minsky, and . Ungureanu, Regulated coordination in open distributed systems, Coordination Languages and Models, Second International Conference, COORDINATION '97, pp.81-97, 1997.

W. Mok, How twitter is scaling Blog entry, 2009.

R. De-nicola, D. Gorla, R. Rydhof-hansen, F. Nielson, H. R. Nielson et al., From Flow Logic to Static Type Systems for Coordination Languages, Coordination Models and Languages, 10th International Conference, pp.100-116, 2008.
DOI : 10.1007/978-3-540-68265-3_7

Y. Shangping-ren, N. Yu, K. Chen, P. Marth, L. Poirot et al., Actors, roles and coordinators -a coordination model for open distributed and embedded systems, Coordination Models and Languages, 8th International Conference, pp.247-265, 2006.

G. Rosu and T. Serbanuta, An overview of the K semantic framework, The Journal of Logic and Algebraic Programming, vol.79, issue.6, pp.397-434, 2010.
DOI : 10.1016/j.jlap.2010.03.012

D. Sturman, Modular Specification of Interaction Policies in Distributed Computing, 1996.

C. A. Varela and G. Agha, A Hierarchical Model for Coordination of Concurrent Activities, Coordination Languages and Models, Third International Conference, COORDINATION '99, pp.166-182, 1999.
DOI : 10.1007/3-540-48919-3_13

N. Venkatasubramanian and C. L. Talcott, Reasoning about meta level activities in open distributed systems, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing , PODC '95, pp.144-152, 1995.
DOI : 10.1145/224964.224981

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Winskel, The Formal Semantics of Programming Languages, 1993.

F. Yang, T. Aotani, H. Masuhara, F. Nielson, and H. Nielson, Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces, Coordination Models and Languages -13th International Conference, pp.202-218, 2011.
DOI : 10.1016/S0167-6423(02)00090-4