Actors: A conceptual foundation for concurrent objectoriented programming, Research Directions in Object-Oriented Programming, pp.49-74, 1987. ,
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=10.1.1.1.7364
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
Programming Erlang: Software for a Concurrent World, 2007. ,
DOI : 10.1007/978-3-540-73589-2_1
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=10.1.1.58.7806
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
A Process Calculus Analysis of Compensations, Proc. of TGC'08, pp.87-103, 2008. ,
DOI : 10.1007/978-3-540-78739-6_21
A Complete Guide to the Future, Proc. of ESOP'07, pp.316-330, 2007. ,
DOI : 10.1007/978-3-540-71316-6_22
Dynamic error handling in service oriented applications, Fundam. Inform, vol.95, issue.1, pp.73-102, 2009. ,
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
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
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=10.1.1.151.1298
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=10.1.1.115.6915
Active object: an object behavioral pattern for concurrent programming, Pattern languages of program design 2, pp.483-499, 1996. ,
Promises: Linguistic support for efficient asynchronous procedure calls in distributed systems, Proc. of PLDI'88, pp.260-267, 1988. ,
DOI : 10.1145/53990.54016
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
Practical framework for contract-based concurrent object-oriented programming, 2007. ,
Web Services Business Process Execution Language Version 2.0 ,
A structural approach to operational semantics, Journal of Logic and Algebraic Programming, pp.60-6117, 2004. ,
JCoBox: Generalizing Active Objects to Concurrent Components, Proc. of ECOOP 2010, pp.275-299, 2010. ,
DOI : 10.1007/978-3-642-14107-2_13
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=10.1.1.35.3893
ABCL: An Object-Oriented Concurrent System, 1990. ,