Concurrent programming using actors, Foundations of Software Technology and Theoretical Computer Science, 1985. ,
SACO: Static Analyzer for Concurrent Objects, TACAS'14, 2014. ,
DOI : 10.1007/978-3-642-54862-8_46
SOFSEM 2016, chapter ABS: A High-Level Modeling Language for Cloud-Aware Programming, 2016. ,
A complete guide to the future, ESOP'07, 2007. ,
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore, Formal Methods for Multicore Programming, 2015. ,
DOI : 10.1007/978-3-319-18941-3_1
A Theory of Distributed Objects, 2004. ,
Ambient-oriented programming in ambienttalk, ECOOP'06, 2006. ,
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS, Automated Deduction -CADE-25, 2015. ,
DOI : 10.1007/978-3-319-21401-6_35
The semantics of future and its use in program optimization, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, 1995. ,
DOI : 10.1145/199448.199484
A framework for deadlock detection in core??ABS, Software & Systems Modeling, vol.14, issue.5, 2014. ,
DOI : 10.1007/s10270-014-0444-y
URL : https://hal.archives-ouvertes.fr/hal-01229046
Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, 2009. ,
DOI : 10.1016/j.tcs.2008.09.019
Multi-threaded Active Objects, COORDINA- TION'13, 2013. ,
DOI : 10.1007/978-3-642-38493-6_7
URL : https://hal.archives-ouvertes.fr/hal-01486037
Declarative scheduling for active objects, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014. ,
DOI : 10.1145/2554850.2554957
URL : https://hal.archives-ouvertes.fr/hal-00916293
From Modelling to Systematic Deployment of Distributed Active Objects ? Extended Version, p.3, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01299817
ABS: A Core Language for Abstract Behavioral Specification, FMCO'12, 2012. ,
DOI : 10.2498/cit.2002.01.01
Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, 2006. ,
DOI : 10.1016/j.tcs.2006.07.031
Integrating deployment architectures and resource consumption in timed object-oriented models, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.1, 2015. ,
DOI : 10.1016/j.jlamp.2014.07.001
Active object: an object behavioral pattern for concurrent programming, Pattern languages of program design 2, 1996. ,
A ProActive Backend for ABS: from Modelling to Deployment, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01065072
JCoBox: Generalizing Active Objects to Concurrent Components, ECOOP'10, 2010. ,
DOI : 10.1007/978-3-642-14107-2_13
A design pattern for optimizations in data intensive applications using ABS and JAVA 8, Concurrency and Computation: Practice and Experience, 2016. ,
DOI : 10.1002/cpe.3480