G. Agha and C. Hewitt, Actors: A conceptual foundation for concurrent objectoriented programming, Research Directions in Object-Oriented Programming, pp.49-74, 1987.

G. Agha and R. Ziaei, Security and fault-tolerance in distributed systems: an actor-based approach, Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358), pp.72-88, 1998.
DOI : 10.1109/CSDA.1998.798358

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

W. Ahrendt and M. Dylla, A system for compositional verification of asynchronous objects, Science of Computer Programming, vol.77, issue.12, 2010.
DOI : 10.1016/j.scico.2010.08.003

J. Armstrong, Programming Erlang: Software for a Concurrent World, 2007.
DOI : 10.1007/978-3-540-73589-2_1

L. Baduel, Computing: Software Environments and Tools, chapter Programming , Composing, Deploying, for the Grid, 2006.
DOI : 10.1007/1-84628-339-6_9

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

R. Bruni, H. Melgratti, and U. Montanari, Theoretical foundations for compensations in flow composition languages, Proc. of POPL '05, pp.209-220, 2005.
DOI : 10.1145/1040305.1040323

URL : http://basics.sjtu.edu.cn/~yuehg/popl/theoretical foundations for compensations in flow composition languages (2005).pdf

L. Caires, C. Ferreira, and H. Vieira, A Process Calculus Analysis of Compensations, Proc. of TGC'08, pp.87-103, 2008.
DOI : 10.1007/978-3-540-78739-6_21

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

C. Guidi, I. Lanese, F. Montesi, and G. Zavattaro, Dynamic error handling in service oriented applications, Fundam. Inform, vol.95, issue.1, pp.73-102, 2009.

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

URL : http://doi.org/10.1016/j.tcs.2008.09.019

R. H. Halstead-jr, MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

E. B. Johnsen, M. Kyas, and I. C. Yu, Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects, Proc. of FM'09, pp.596-611, 2009.
DOI : 10.1007/978-3-642-05089-3_38

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

E. B. Johnsen and O. Owe, An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling, pp.35-58, 2007.
DOI : 10.1109/sefm.2004.1347520

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

R. G. Lavender and D. C. Schmidt, Active object: an object behavioral pattern for concurrent programming, Pattern languages of program design 2, pp.483-499, 1996.

B. H. Liskov and L. Shrira, Promises: Linguistic support for efficient asynchronous procedure calls in distributed systems, Proc. of PLDI'88, pp.260-267, 1988.
DOI : 10.1145/53990.54016

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Morris. CActive and Friends. Symbian Developer Network, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

P. Nienaltowski, Practical framework for contract-based concurrent object-oriented programming, 2007.

. Oasis, Web Services Business Process Execution Language Version 2.0

G. D. Plotkin, A structural approach to operational semantics, Journal of Logic and Algebraic Programming, pp.60-6117, 2004.

J. Schäfer and A. Poetzsch-heffter, JCoBox: Generalizing Active Objects to Concurrent Components, Proc. of ECOOP 2010, pp.275-299, 2010.
DOI : 10.1007/978-3-642-14107-2_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=

A. Yonezawa, ABCL: An Object-Oriented Concurrent System, 1990.