P. A. Abdulla, K. Cerans, B. Jonsson, and Y. Tsay, General decidability theorems for infinite-state systems, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.313-321, 1996.
DOI : 10.1109/LICS.1996.561359

G. Agha, The structure and semantics of actor languages, REX Workshop, pp.1-59, 1990.
DOI : 10.1007/BFb0019439

G. Agha, I. Mason, S. Smith, and C. Talcott, A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997.
DOI : 10.1017/S095679689700261X

A. Bouajjani, S. Fratani, and S. Qadeer, Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures, CAV, pp.207-220, 2007.
DOI : 10.1007/978-3-540-73368-3_24

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

E. , B. Johnsen, and O. Owe, An asynchronous communication model for distributed concurrent objects. Software and System Modeling, pp.39-58, 2007.

N. Busi, R. Gorrieri, and G. Zavattaro, On the Expressiveness of Linda Coordination Primitives, Information and Computation, vol.156, issue.1-2, pp.90-121, 2000.
DOI : 10.1006/inco.1999.2823

P. Chang and G. Agha, Supporting reconfigurable object distribution for customized web applications, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.1286-1292, 2007.
DOI : 10.1145/1244002.1244280

P. Chang and G. Agha, Towards Context-Aware Web Applications, DAIS, pp.239-252, 2007.
DOI : 10.1016/j.scico.2005.07.006
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9100

E. Cheong, E. A. Lee, and Y. Zhao, Viptos, Proceedings of the 3rd international conference on Embedded networked sensor systems , SenSys '05, pp.302-302, 2005.
DOI : 10.1145/1098918.1098967

J. Cleese and C. Booth, Fawlty towers. See en.wikipedia.org/wiki/Fawlty Towers, 1975.

F. De-boer, M. Jaghoori, C. Laneve, and G. Zavattaro, Decidability Problems for Actor Systems, Concurrency Theory -23rd International Conference, CONCUR 2012, pp.562-577, 2012.
DOI : 10.1007/978-3-642-32940-1_39
URL : https://hal.archives-ouvertes.fr/hal-01090952

F. S. De-boer, D. Clarke, and E. Johnsen, A Complete Guide to the Future, ESOP, pp.316-330, 2007.
DOI : 10.1007/978-3-540-71316-6_22

F. S. De-boer, I. Grabe, and M. Steffen, Termination detection for active objects, The Journal of Logic and Algebraic Programming, vol.81, issue.4, 2012.
DOI : 10.1016/j.jlap.2012.03.009

A. Finkel and P. Schnoebelen, Well-structured transition systems everywhere! Theoretical Computer Science, pp.63-92, 2001.
DOI : 10.1016/s0304-3975(00)00102-x
URL : http://doi.org/10.1016/s0304-3975(00)00102-x

C. Fournet and G. Gonthier, The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996.
DOI : 10.1145/237721.237805

E. Giachino and C. Laneve, Analysis of Deadlocks in Object Groups, pp.168-182, 2011.
DOI : 10.1007/978-3-642-14107-2_13

P. Haller and M. Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019

C. Hewitt, Procedural embedding of knowledge in planner, Proc. the 2nd International Joint Conference on Artificial Intelligence, pp.167-184, 1971.

G. Higman, Ordering by Divisibility in Abstract Algebras, Proceedings of the London Mathematical Society, vol.3, issue.1, pp.3-2326, 1952.
DOI : 10.1112/plms/s3-2.1.326

R. K. Karmani, A. Shali, and G. Agha, Actor frameworks for the JVM platform, Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ '09, pp.11-20, 2009.
DOI : 10.1145/1596655.1596658

E. A. Lee, X. Liu, and S. Neuendorffer, Classes and inheritance in actor-oriented design, ACM Transactions on Embedded Computing Systems, vol.8, issue.4, 2009.
DOI : 10.1145/1550987.1550992

E. A. Lee, S. Neuendorffer, and M. J. Wirthlin, Actor-Oriented Design of Embedded Hardware and Software Systems, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.231-260, 2003.
DOI : 10.1142/S0218126603000751

G. Memmi and A. Finkel, An introduction to FIFO nets??? monogeneous nets: A subclass of FIFO nets, Theoretical Computer Science, vol.35, issue.0, pp.191-214, 1985.
DOI : 10.1016/0304-3975(85)90014-3

R. Meyer, On boundedness in depth in the pi-calculus, IFIP TCS, pp.477-489, 2008.

R. Milner, Communication and concurrency. PHI Series in computer science, 1989.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.41-77, 1992.
DOI : 10.1016/0890-5401(92)90009-5

M. Minsky, Computation: finite and infinite machines, 1967.

. Openid, Openid specifications

N. Razavi, R. Behjati, H. Sabouri, E. Khamespanah, A. Shali et al., Sysfier, ACM Transactions on Embedded Computing Systems, vol.10, issue.2, p.19, 2010.
DOI : 10.1145/1880050.1880055

M. Sirjani, Rebeca: Theory, Applications, and Tools, FMCO, pp.102-126, 2006.
DOI : 10.1007/978-3-540-74792-5_5

T. Wies, D. Zufferey, and T. A. Henzinger, Forward analysis of depth-bounded processes This work is licensed under the Creative Commons Attribution-NoDerivs License. To view a copy of this license, FOSSACS Creative Commons, 171 Second St, pp.94-108, 2010.