Actor Model of Computation: Programming the Many Cores for Inconsistency Robust Information Integration

[1]  P. Baran,et al.  On Distributed Communications Networks , 1964 .

[2]  C. Fuchs.  Quantum Mechanics as Quantum Information (and only a little more) , 2002, quant-ph/0205039.

[3]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[4]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[5]  Carl Hewitt,et al.  ORGs for Scalable, Robust, Privacy-Friendly Client Cloud Computing , 2008, IEEE Internet Computing.

[6]  Andrew A. Chien,et al.  Experience with CST: programming and implementation , 1989, PLDI '89.

[7]  Henry Lieberman,et al.  A real-time garbage collector based on the lifetimes of objects , 1983, CACM.

[8]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[9]  Andreas Blass,et al.  Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem , 2007, Log. Methods Comput. Sci..

[10]  Gerald J. Sussman,et al.  Scheme: A Interpreter for Extended Lambda Calculus , 1998, High. Order Symb. Comput..

[11]  Leslie Lamport,et al.  How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

[12]  Carl Hewitt,et al.  Guarded Horn Clause Languages: Are They Deductive and Logical? , 1991, FGCS.

[13]  Robin Milner,et al.  Processes: A Mathematical Model of Computing Agents , 1975 .

[14]  Robin Milner,et al.  Concurrent Processes and Their Syntax , 1979, JACM.

[15]  Akinori Yonezawa,et al.  ABCL: an object-oriented concurrent system , 1990 .

[16]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[17]  W. C. Athas,et al.  Cantor: an actor programming system for scientific computing , 1988, OOPSLA/ECOOP '88.

[18]  Davide Sangiorgi,et al.  On the Representation of McCarthy's amb in the π-calculus , 2004, EXPRESS.

[19]  Patrick J. Hayes,et al.  Some problems and non-problems in representation theory , 1974 .

[20]  John C. Reynolds,et al.  Definitional Interpreters for Higher-Order Programming Languages , 1972, ACM '72.

[21]  A. Church.  The calculi of lambda-conversion , 1941 .

[22]  Melvin E. Conway,et al.  Design of a separable transition-diagram compiler , 1963, CACM.

[23]  Ole-Johan Dahl,et al.  Class and Subclass Declarations (Reprint) , 2002, Software Pioneers.

[24]  Gordon D. Plotkin,et al.  A Powerdomain Construction , 1976, SIAM J. Comput..

[25]  George Polya,et al.  Mathematical discovery : on understanding, learning, and teaching problem solving , 1962 .

[26]  A. Church.  A Set of Postulates for the Foundation of Logic , 1932 .

[27]  Jack B. Dennis,et al.  Programming semantics for multiprogrammed computations , 1966, CACM.

[28]  Carl Hewitt.  Actor Programming Languages , 2009 .

[29]  Carl Hewitt,et al.  Specification and Proof Techniques for Serializers , 1979, IEEE Transactions on Software Engineering.

[30]  Carl Hewitt,et al.  Perfect Disruption: The Paradigm Shift from Mental Agents to ORGs , 2009, IEEE Internet Computing.

[31]  Jens Lemcke,et al.  Towards a Framework for Policy-Oriented Enterprise Management , 2008, AAAI Spring Symposium: AI Meets Business Rules and Process Management.