Tags: abelson, agha gul, american institute of physics, belmont ca, concurrent computation, cooperativity, institute of physics, interactive programming, interested units, livny, magaw, migration facility, multicomputer, neering, programming environments, sep tember, software engi, software practice and experience, swirsky, tel aviv israel,
E. Bibliography
[1] Abelson, Harold, and Sussman, Gerald Jay, Structure and Inter-
pretation of Computer Programs. Cambridge, MA: MIT Press, 1985.
[2] Agha, Gul, Actors: A Model of Concurrent Computation in Distrib-
uted Systems. Cambridge, MA: MIT Press, 1986.
[3] Alchian, Armen A., and Allen, William R., University Economics.
2nd Ed. Belmont, CA: Wadsworth, 1968.
[4] Ames, Bruce N., Magaw, Renae, and Gold, Lois Swirsky, "Rank-
ing Possible Carcinogenic Hazards," in Science (17 April 1987)
Vol. 236.
[5] Artsy, Y., and Finkel, R. "Simplicity, Efficiency, and Functionality
in Designing a Process Migration Facility," in Proceedings of the
Second Israel Conference on Computer Systems and Software Engi-
neering (IEEE, Tel Aviv, Israel, May 1987).
[6] Artsy, Y., Chang, H-Y, and Finkel, R., Processes Migrate in Char-
lotte. Computer Sciences Technical Report #655. Madison:
University of Wisconsin, August 1986.
[7] Artsy, Yeshayahu, and Livny, Miron, An Approach to the Design of
Fully Open Computing Systems. Computer Sciences Technical
Report #689. Madison, WI: University Of Wisoconsin, 1987.
[8] Axelrod, Robert, The Evolution of Cooperation. New York: Basic
Books, 1984.
[9] Barak, A., and Shiloh, A., "A Distributed Load-Balancing Policy
for a Multicomputer," in Software Practice and Experience (Sep-
tember 1985) 15.
[10] Barstow, David R., Shrobe, Howard E., and Sandwall, Erik (eds.),
Interactive Programming Environments. New York: McGraw-Hill,
1984.
[11] Barto, Andrew G., "Game Theoretic Cooperativity in Networks
of Self-Interested Units," in Denker, John S. (ed.), Neural Net-
works for Computing. New York: American Institute of Physics,
1986.
[12] Birrell, Andrew D., Levin, Roy, Needham, Roger M., and
Schroeder, Michael D., "Grapevine: an Exercise in Distributed
20 Dec 95 DRAFT E1
Computing," in Communications of the ACM (April 1982) Vol. 25,
No. 4.
[13] Bishop, Peter B., Computers with a Large Address Space and Garbage
Collection. MIT/LCS/TR-178. Cambridge, MA: MIT Press, 1977.
[14] Brooks, Frederick P., Jr., The Mythical Man-Month. Reading, MA:
Addison-Wesley, 1975.
[15] Buchanan, James M., and Tullock, Gordon, The Calculus of Con-
sent: Logical Foundations of Constitutional Democracy. Ann Arbor,
MI: University of Michigan Press, 1965.
[16] Chaum, David, "Design Concepts for Tamper Responding Sys-
tems," in Advances in Cryptology: Proceedings of Crypto `83. New
York: Plenum Press, 1984.
[17] Cheriton, D. R., "The V Kernel: A Software Base for Distributed
Systems," in IEEE Software (April 1984) Vol. 1, No. 2.
[18] Clinger, Will, Foundations of Actor Semantics. MIT AI-TR-633.
Cambridge, MA: MIT Press, 1981.
[19] Coase, R. H., "The Nature of the Firm," in Economica: New Series
(1937), Vol. IV, reprinted in Stigler, G. J., and Boulding, K. E.
(eds.), Readings in Price Theory. Chicago: Richard D. Irwin, Inc.,
1952.
[20] Conway, M. E., "How Do Committees Invent?" in Datamation
(April 1968) Vol. 14, No. 4.
[21] Cox, Brad J., Object Oriented Programming: An Evolutionary
Approach. Reading, MA: Addison-Wesley, 1986.
[22] Davison, A., "POOL: A PARLOG Object-Oriented Language,"
Dept. of Computing, Imperial College, 1987.
[23] Dawkins, Richard, The Extended Phenotype. New York: Oxford
University Press, 1982.
[24] Dawkins, Richard, The Selfish Gene. New York: Oxford University
Press, 1976.
[25] Demers, Alan, Greene, Dan, Hauser, Carl, Irish, Wes, Larson,
John, Shenker, Scott, Sturgis, Howard, Swinehart, Dan, and
Terry, Doug, "Epidemic Algorithms for Replicated Database
Maintenance," in Proceedings of the Sixth Annual ACM Symposium
on Principles of Distributed Computing (ACM, Vancouver, BC,
1987).
[26] Denning, Peter J., "The Working Set Model for Program Behav-
ior," in Communications of the ACM (May 1968) Vol. 2, No. 5.
[27] Dijkstra, E. W., "Co-operating Sequential Processes," in Genuys,
F. (ed.), Programming Languages. New York: Academic Press,
1968.
[28] Drexler, K. Eric, "Molecular Engineering: An Approach to the
Development of General Capabilities for Molecular Manipula-
tion," in Proceedings of the National Academy of Sciences USA (Sept.
1981) Vol. 78, No. 9.
E2 Joule: Distributed Application Foundations 20 Dec 95 DRAFT
[29] Drexler, K. Eric, "Rod Logic and Thermal Noise in the Molecular
Nanocomputer," in Proceedings of the Third International Sympo-
sium on Molecular Electronic Devices. Amsterdam: Elsevier
Science Publishers, 1988.
[30] Drexler, K. Eric, and Mark S. Miller, "Incentive Engineering for
Computational Resource Management," in The Ecology of Compu-
tation, B. A. Huberman, ed. Amsterdam: Elsevier Science
Publishers, 1988.
[31] Drexler, K. Eric, Engines of Creation. Garden City, NY: Anchor
Press/Doubleday, 1986.
[32] Drexler, K. Eric, Hypertext Publishing and the Evolution of Knowl-
edge. Palo Alto, CA: Foresight Institute, 1986.
[33] Epstein, Richard A., Takings: Private Property and the Power of Emi-
nent Domain. Cambridge, MA: Harvard University Press, 1985.
[34] Ferguson, D.F. "The Application of Microeconomics to the
Design of Resource Allocation and Control Algorithms" (doc-
toral dissertation).
[35] Friedman, Daniel, "On the Efficiency of Experimental Double
Auction Markets," in American Economic Review (March 1984)
Vol. 24, No. 1.
[36] Friedman, David, The Machinery of Freedom: Guide to a Radical
Capitalism. New York: Harper and Row, 1973.
[37] Friedman, Milton, and Schwartz, Anna, "The Great Contrac-
tion," in A Monetary History of the United States, 1867-1960.
Princeton, NJ: Princeton University Press/National Bureau of
Economic Research, 1963.
[38] Gehringer, Edward F., Capability Architectures and Small Objects.
Ann Arbor, MI: UMI Research Press, 1982.
[39] Goldberg, Adele, and Robson, Dave, Smalltalk-80: The Language
and its Implementation. Reading, MA: Addison-Wesley, 1983.
[40] Granovetter, Mark, "The Strength of Weak Ties," in American
Journal of Sociology (1977) Vol. 78.
[41] Gregory, S., Parallel Logic Programming in PARLOG: The Language
and Its Implementation. Reading, MA: Addison-Wesley, 1987.
[42] Haase, Kenneth W., Jr., "Discovery Systems," in ECAI '86: The 7th
European Conference on Artificial Intelligence (July 1986), Vol. 1.
[43] Hamming, R. W., "One Man's View of Computer Science," in
Ashenhurst, Robert L., and Graham, Susan (eds.), ACM Turing
Award Lectures: The First Twenty Years 1966-1985. Reading, MA:
Addison-Wesley, 1987.
[44] Hanson, Robin, Toward Hypertext Publishing: Issues and Choices in
Database Design, in press. Draft available from Foresight Insti-
tute, Palo Alto, CA, 1987.
[45] Hardin, Garrett, "The Tragedy of the Commons," in Science (13
December 1968) Vol. 162.
20 Dec 95 DRAFT E3
[46] Harris, Jed, Yu, Chee, Harris, Britton, Market Based Scheduling
(1987) in preparation.
[47] Hayek, Friedrich A., "Cosmos and Taxis," in Law, Legislation, and
Liberty, Vol. 1: Rules and Order. Chicago: University of Chicago
Press, 1973.
[48] Hayek, Friedrich A., "Economics and Knowledge," from Eco-
nomica, New Series (1937), Vol. IV.; reprinted in Hayek, Friedrich
A. (ed.), Individualism and Economic Order. Chicago: University of
Chicago Press, 1948.
[49] Hayek, Friedrich A., Denationalisation of Money, 2nd Ed. London:
The Institute of Economic Affairs, 1978.
[50] Hayek, Friedrich A., New Studies in Philosophy, Politics, Economics,
and the History of Ideas. Chicago: University of Chicago Press,
1978.
[51] Hayek, Friedrich A., The Constitution of Liberty. Chicago: Univer-
sity of Chicago Press, 1978.
[52] Hayek, Friedrich A., The Counter-Revolution of Science: Studies on
the Abuse of Reason. Indianapolis: Liberty Press, 1979.
[53] Hayek, Friedrich A., Unemployment and Monetary Policy: Govern-
ment as Generator of the "Business Cycle." San Francisco, CA: Cato
Institute, 1979.
[54] Hewitt, Carl, "Concurrency in Intelligent Systems," in AI Expert,
No. 1, 1986.
[55] Hewitt, Carl, "Offices are Open Systems," in The Ecology of Com-
putation, B. A. Huberman, ed. Amsterdam: Elsevier Science
Publishers, 1988.
[56] Hewitt, Carl, "The Challenge of Open Systems," in Byte (April
1985).
[57] Hirsch, M., Silverman, W., and Shapiro, E., Layers of Protection
and Control in the Logix System. Weizmann Institute Technical
Report CS86-19.
[58] Hirsh, Susan, Kahn, Kenneth M., and Miller, Mark S., Interming:
Unifying Keyword and Positional Notations. Palo Alto, CA: Xerox
PARC, 1987.
[59] Hoare, C. A. R., Communicationg Sequential Processes. New York:
Prentice-Hall, 1985.
[60] Hofstadter, Douglas R., "Dilemmas for Superrational Thinkers,
Leading Up to a Luring Lottery," in Metamagical Themas: Quest-
ing for the Essence of Mind and Pattern. New York: Basic Books,
1985.
[61] Hofstadter, Douglas R., "The Prisoner's Dilemma Computer
Tournaments and the Evolution of Cooperation," in Metamagical
Themas: Questing for the Essence of Mind and Pattern. New York:
Basic Books, 1985.
E4 Joule: Distributed Application Foundations 20 Dec 95 DRAFT
[62] Holland, John H., Holyoak, Keith J., Nisbett, Richard E., and
Thagard, Paul R. Induction: Processes of Inference, Learning, and
Discovery. Cambridge, MA: MIT Press, 1986.
[63] INMOS Limited, Occam Programming Manual. London: Prentice-
Hall International, 1984.
[64] Jacobson, Gary, and Hillkirk, John, Xerox: American Samurai.
New York: Macmillan, 1986.
[65] Kahn, Kenneth M., and Mark S. Miller, "Language Design and
Open Systems," in The Ecology of Computation, B. A. Huberman,
ed. Amsterdam: Elsevier Science Publishers, 1988.
[66] Kahn, Kenneth M., Tribble, Eric Dean, Miller, Mark S., and
Bobrow, Daniel, "Vulcan: Logical Concurrent Objects," in
Shriver, B., and Wegner, P. (eds.), Research Directions in Object-
Oriented Programming and in Shapiro, E. (ed.), Concurrent Prolog.
Cambridge, MA: MIT Press, 1987.
[67] Kahn, Kenneth, A Partial Evaluator of Lisp Written in a Prolog Writ-
ten in Lisp Intended to be Applied to the Prolog and Itself which in
turn is Intended to be Given to Itself Together with the Prolog to Pro-
duce a Prolog Compiler. UPMAIL Tech. Report No. 17. University
of Uppsala, Sweden, 1983.
[68] Keynes, John Maynard, The General Theory of Employment, Inter-
est, and Money. San Diego, CA: Harcourt Brace Jovanovitch, 1964.
[69] Kornfeld, William A., Using Parallel Processing for Problem Solving.
MIT-AI-561. Cambridge, MA: MIT AI Lab, 1979.
[70] Kornfeld, William A., and Hewitt, Carl, "The Scientific Commu-
nity Metaphor," in IEEE Transactions on Systems, Man, and
Cybernetics (IEEE, 1981) SMC-11.
[71] Kowalski, R., "Logic-based Open Systems," Dept. of Computing,
Imperial College, September 1985.
[72] Kurose, James F., Schwartz, Mischa, and Yemini, Yechiam, "A
Microeconomic Approach to Decentralized Optimization of
Channel Access Policies in Multiaccess Networks," in Proceed-
ings of the Fifth International Conference on Distributed Computing
Systems, Denver, CO, May 1985.
[73] Leach, P.J., Levine, P. H., Douros, B. P., Hamilton, J. A., Nelson,
D. L., and Stumph, B. L., "The Architecture of an Integrated
Local Network," in IEEE Journal on Selected Areas in Communica-
tion (IEEE, November 1983).
[74] Lenat, Douglas B., "The Role of Heuristics in Learning by Dis-
covery: Three Case Studies," in Michalski, Rysznard S.,
Carbonell, Jaime G., and Mitchell, Tom M. (eds.), Machine Learn-
ing: An Artificial Intelligence Approach. Palo Alto, CA: Tioga
Publishing Company, 1983.
[75] Lenat, Douglas B., and Brown, John Seely, "Why AM and
Eurisko Appear to Work," in The Ecology of Computation, B. A.
Huberman, ed. Amsterdam: Elsevier Science Publishers, 1988.
20 Dec 95 DRAFT E5
[76] Levy, Henry M., Capability-Based Computer Systems. Bedford, MA:
Digital Press, 1984.
[77] Lieberman, Henry, and Hewitt, Carl, "A Real-Time Garbage Col-
lector Based on the Lifetimes of Objects," in Communications of
the ACM (June 1983) Vol. 26, No. 6.
[78] Lindstrom, G., "Functional Programming and the Logical Vari-
able," 12th ACM Symposium on Principles of Programming
Languages (New Orleans, 1985).
[79] Liskov, Barbara, "Guardians and Actions: Linguistic Support for
Robust, Distributed Programs," in The Ecology of Computation, B.
A. Huberman, ed. Amsterdam: Elsevier Science Publishers, 1988.
[80] Liskov, Barbara, Herlihy, M., and Gilbert, L., "Limitations of syn-
chronous communication with static process structure in
languages for distributed computing," Proceedings of the Thir-
teenth Symposium on Principles of Programming Languages, St.
Petersburg Beach, Florida, January 1986.
[81] Malone, Thomas W., "Organizing Information Processing Sys-
tems: Parallels Between Human Organizations and Computer
Systems," in Zacharay, W., Robertson, S., and Black, J. (eds.),
Cognition, Computation, and Cooperation. Norwood, NJ: Ablex,
1986.
[82] Malone, Thomas W., Fikes, R. E., and Howard, M. T., "Enter-
prise: A Market-Like Task Scheduler for Distributed Computing
Environments," in The Ecology of Computation, B. A. Huberman,
ed. Amsterdam: Elsevier Science Publishers, 1988.
[83] Malone, Thomas W., Yates, Joanne, and Benjamin, Robert I.,
"Electronic Markets and Electronic Hierarchies," in Communica-
tions of the ACM (June 1987) Vol. 30, No. 6.
[84] March, J. G., "Footnotes to Organizational Change," in Adminis-
trative Science Quarterly (1981) 26.
[85] McClelland, James L., Rumelhart, David E., and PDP Research
Group, Parallel Distributed Processing. Volumes 1 and 2. Cam-
bridge, MA: MIT Press, 1986.
[86] McDermott, Drew, "A Critique of Pure Reason," in Levesque,
Hector (ed.), Computational Intelligence. National Research Coun-
cil of Canada, 1987.
[87] McGee, John S., "Predatory Price Cutting: The Standard Oil
(N.J.) Case," in Journal of Law and Economics (October 1958) 1.
[88] Miller, Mark S., and K. Eric Drexler, "Comparative Ecology: A
Computational Perspective," in The Ecology of Computation, B. A.
Huberman, ed. Amsterdam: Elsevier Science Publishers, 1988.
[89] Miller, Mark S., and K. Eric Drexler, "Markets and Computation:
Agoric Open Systems," in The Ecology of Computation, B. A.
Huberman, ed. Amsterdam: Elsevier Science Publishers, 1988.
[90] Miller, Mark S., Bobrow, Daniel G., Tribble, Eric Dean, and Levy,
Jacob, "Logical Secrets," in Shapiro, Ehud (ed.), Concurrent Pro-
log: Collected Papers. Cambridge, MA: MIT Press, 1987.
E6 Joule: Distributed Application Foundations 20 Dec 95 DRAFT
[91] Minsky, Marvin, "Steps Toward Artificial Intelligence," in
Feigenbaum, Edward A., and Feldman, Julian (eds.), Computers
and Thought. Malabar, FL: Robert E. Krieger, 1981.
[92] Minsky, Marvin, The Society of Mind. New York: Simon and
Schuster, 1986.
[93] Nelson, B., Remote Procedure Call. CSL-81-9. Palo Alto, CA: Xerox
PARC, 1981.
[94] Nelson, Theodor, Literary Machines. Available from the author.
[95] Nisbett, Richard, and Ross, Lee, Human Inference: Strategies and
Shortcomings of Social Judgment. Englewood Cliffs, NJ: Prentice-
Hall, 1980.
[96] Ohki, M., Takeuchi, A., and Furukawa, K., "An Object-Oriented
Programming Language Based on the Parallel Logic Language
KL1," in Logic Programming: Proceedings of the Fourth International
Conference. MIT Press.
[97] Organick, Elliott I., A Programmer's View of the Intel 432 System.
New York: McGraw-Hill, 1983.
[98] Popper, Karl R., Objective Knowledge: An Evolutionary Approach.
London: Oxford University Press, 1972.
[99] Pountain, D. A Tutorial Introduction to Occam Programming.
INMOS, 1986.
[100] Quarterman, John S., Silberschatz, Abraham, and Peterson,
James L., "4.2BSD and 4.3BSD as Examples of the UNIX Sys-
tem," in ACM Computing Surveys (December 1985) Vol. 17, No. 4.
[101] Raffia, Howard, Decision Analysis: Introductory Lectures on Choices
under Uncertainty. Reading, MA: Addison-Wesley, 1970.
[102] Rao, Ramana Balusu, Toward Interoperability and Extensibility in
Window Environments via Object-Oriented Program-ming. Masters
thesis, MIT Press, 1987.
[103] Rashid, Richard, "From RIG to Accent to Mach: The Evolution of
a Network Operating System," in The Ecology of Computation, B.
A. Huberman, ed. Amsterdam: Elsevier Science Publishers, 1988.
[104] Rees, Jonathan A., and Adams, Norman I., IV, "T: A Dialect of
Lisp or, Lambda: The Ultimate Software Tool," in Proceedings of
the 1982 ACM Symposium on Lisp and Functional Programming
(August 1982).
[105] Rivest, R., Shamir, A., and Adelman, L., "A Method for Obtain-
ing Digital Signatures and Public-Key Cryptosystems," in
Communications of the ACM (Feb. 1978) Vol. 21, No. 2.
[106] Safra, S., and Shapiro, Ehud, "Meta-Interpreters For Real," in
Proceedings, IFIP-86 (1986).
[107] Shapiro, E., Algorithmic Program Debugging. Cambridge, MA:
MIT Press, 1982.
20 Dec 95 DRAFT E7
[108] Shapiro, E., and Takeuchi, A., "Object-Oriented Programming in
Concurrent Prolog," in New Generation Computing (July 1983)
Vol. 1, No. 1.
[109] Shapiro, Ehud (ed.), Concurrent Prolog: Collected Papers. Cam-
bridge, MA: MIT Press, 1987.
[110] Shapiro, Ehud, "Concurrent Prolog: A Progress Report," in Com-
puter, IEEE, August 1986.
[111] Shapiro, Ehud, "Systolic Programming: A Paradigm for Parallel
Processing," in Proceedings of the International Conference on Fifth
Generation Computer Systems (1984).
[112] Shrager, Jeff, and Klahr, David, "Instructionless Learning about a
Complex Device: The Paradigm and Observations," in Int. J.
Man-Machine Studies (1986) 25.
[113] Smith, Maynard J., and Price, G. R., "The Logic of Animal Con-
flicts," in Nature (1973) 246.
[114] Smith, Vernon L., "Experimental Methods in the Political Econ-
omy of Exchange," in Science (10 October 1986) Vol. 234.
[115] Stamos, James W., A Large Object-Oriented Virtual Memory: Group-
ing Strategies, Measurements, and Performance. SCG-82-2. Palo
Alto, CA: Xerox PARC, 1982.
[116] Star, Spencer, "TRADER: A Knowledge-Based System for Trad-
ing in Markets," in Economics and Artificial Intelligence First
International Conference (Aix-En-Provence, France, September
1986).
[117] Stefik, Mark, "The Next Knowledge Medium," in The Ecology of
Computation, B. A. Huberman, ed. Amsterdam: Elsevier Science
Publishers, 1988.
[118] Stefik, Mark, Foster, Gregg, Bobrow, Daniel G., Lahn, Kenneth,
Lanning, Stan, and Suchman, Lucy, "Beyond the Chalkboard:
Computer Support for Collaboration and Problem Solving in
Meetings," in Communications of the ACM (January 1987) Vol. 30,
No. 1.
[119] Strom, R., and Yemini, S., "NIL: An Integrated Language and
System for Distributed Computing," Proceedings of SIGPLAN '83
Symposium on Programming Language Issues in Software Systems,
June 1983.
[120] Sutherland, I.E., "A Futures Market in Computer Time," in Com-
munications of the ACM (June 1968) Vol. 11, No. 6.
[121] Tanenbaum, Andrew S., and van Renesse, Robbert, "Distributed
Operating Systems," in ACM Computing Surveys. NewYork:
ACM, 1985.
[122] Terry, Douglas Brian, Distributed Name Servers: Naming and Cach-
ing in Large Distributed Environments. CSL-85-1. Xerox PARC,
February 1985.
[123] Theriault, D., Issues in the Design and Implementation of Act 2. AI-
TR-728. Cambridge, MA: MIT AI Lab, 1983.
E8 Joule: Distributed Application Foundations 20 Dec 95 DRAFT
[124] Tribble, Eric Dean, Miller, Mark S., Kahn, Kenneth M., Bobrow,
Daniel, Abbott, C., and Shapiro, Ehud, "Channels: A Generaliza-
tion of Streams," Logic Programming: Proceedings of the Fourth
International Conference, MIT Press.
[125] Tullock, Gordon, The Organization of Inquiry. Durham, NC: Duke
University Press, 1966.
[126] Tullock, Gordon, The Vote Motive. London: The Institute of Eco-
nomic Affairs, 1976.
[127] Ueda, K., Guarded Horn Clauses. Cambridge, MA: MIT Press,
1987.
[128] Ungar, David Michael, The Design and Evaluation of a High Perfor-
mance Smalltalk System. Cambridge, MA: MIT Press, 1987.
[129] Waldspurger, C. A., Hogg, T., Huberman, B. A., Kephart, J.O.,
and Stornetta, W.S. "Spawn: A Distributed Computational
Economy." IEEE Transactions on Software Engineering, Vol. 18, No.
2, February 1992.
[130] Wallace, C.S. and Pose, R.D. "Charging in a Secure Environ-
ment" Proceedings of the International Workshop on Computer
Architectures to Support Security and Persistence, Bremen, FRG,
1990. (A revised version has been published in Security and Per-
sistence, Bremen 1990. J. Rosenberg and J.L. Keedy (Editors)
Springer-Verlag Workshops in Computing Series. ISBN 3-540-
19646-3, pp. 85-96.)
[131] Wickler, Wolfgang, Mimicry in Plants and Animals. New York:
World University Library/McGraw-Hill, 1968.
[132] Williamson, Oliver, Markets and Hierarchies: Analysis and Anti-
Trust Implications. New York: Free Press, 1975.
[133] Wilson, Edward O., Sociobiology. Cambridge, MA: Belknap
Press/Harvard University Press, 1975.
[134] Winograd, Terry, and Flores, Fernando, Understanding Computers
and Cognition. Norwood, NJ: Ablex, 1986.
[135] Xerox, Courier: The Remote Procedure Call Protocol. Stamford, CT:
Xerox Corp., 1982.
20 Dec 95 DRAFT E9
E10 Joule: Distributed Application Foundations 20 Dec 95 DRAFT