Author ' s personal copy ARTICLE IN PRESS

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  Carl Hewitt,et al.  The incremental garbage collection of processes , 1977, Artificial Intelligence and Programming Languages.

[3]  Henry Lieberman,et al.  A Preview of Act 1 , 1981 .

[4]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[5]  Akinori Yonezawa,et al.  Object-oriented concurrent programming in ABCL/1 , 1986, OOPSLA 1986.

[6]  Bjarne Stroustrup,et al.  The C++ Programming Language, First Edition , 1986 .

[7]  Liuba Shrira,et al.  Promises: linguistic support for efficient asynchronous procedure calls in distributed systems , 1988, PLDI '88.

[8]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[9]  Anoop Gupta,et al.  COOL: a language for parallel programming , 1990 .

[10]  米沢 明憲.  ABCL : an object-oriented concurrent system , 1990 .

[11]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[12]  Carolyn L. Talcott,et al.  Towards a Theory of Actor Computation , 1992, CONCUR.

[13]  Bertrand Meyer,et al.  Systematic concurrent object-oriented programming , 1993, CACM.

[14]  Denis Caromel,et al.  Toward a method of object-oriented concurrent programming , 1993, CACM.

[15]  Matthias Felleisen,et al.  The Semantics of Future , 1994 .

[16]  ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language- Its Design and Implementation , 1994, Specification of Parallel Algorithms.

[17]  Rohit Chandra,et al.  The COOL parallel programming language: design, implementation, and performance , 1995 .

[18]  Luc Moreau,et al.  The semantics of Scheme with future , 1996, ICFP '96.

[19]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

[20]  Denis Caromel,et al.  Towards seamless computing and metacomputing in Java , 1998 .

[21]  Alexander Aiken,et al.  A theory of type qualifiers , 1999, PLDI '99.

[22]  Matthias Felleisen,et al.  The semantics of future and an application , 1999, Journal of Functional Programming.

[23]  Vivek Sarkar,et al.  The Jalape ~ no Dynamic Optimizing Compiler for Java TM , 1999 .

[24]  Michael James Compton,et al.  SCOOP An Investigation of Concurrency in Eiffel , 2000 .

[25]  Jan Janecek,et al.  Optimizing remote method invocation in Java , 2002, Proceedings. 13th International Workshop on Database and Expert Systems Applications.

[26]  I. Naturwissenschaftlich-TechnischeFakultat.  A Concurrent -Calculus with Promises and Futures , 2002 .

[27]  G. Stewart Von Itzstein,et al.  Applications of Join Java , 2002 .

[28]  Gert Smolka,et al.  Alice through the looking glass , 2021, Trends in Functional Programming.

[29]  Luca Cardelli,et al.  Modern concurrency abstractions for C# , 2002, TOPL.

[30]  Pierre America,et al.  Issues in the design of a parallel object-oriented language , 1989, Formal Aspects of Computing.

[31]  Joachim Niehren,et al.  A concurrent lambda calculus with futures , 2005, Theor. Comput. Sci..

[32]  Denis Caromel,et al.  A theory of distributed objects - asynchrony, mobility, groups, components , 2005 .

[33]  Einar Broch Johnsen,et al.  Creol: A type-safe object-oriented model for distributed concurrent systems , 2006, Theor. Comput. Sci..

[34]  Joachim Niehren,et al.  Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures , 2007, MFPS.

[35]  Erika Ábrahám,et al.  Abstract Interface Behavior of Object-Oriented Languages with Monitors , 2007, Theory of Computing Systems.

[36]  Martin Odersky,et al.  Programming in Scala , 2008 .

[37]  Denis Caromel,et al.  Asynchronous sequential processes , 2009, Inf. Comput..

[38]  Erika Ábrahám,et al.  Behavioral interface description of an object-oriented language with futures and promises , 2009, J. Log. Algebraic Methods Program..