Викиучебник

Модель акторов: различия между версиями

Интерактивная навигация по истории
Следующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Initial Creation
 
+Литература для чтения
Строка 198:
| Java
|}
 
== Литература для чтения ==
<div style="background-color: #fff; height: 400px; width: 100%; overflow: auto; padding: 3px; text-align: left; border:none;" title="braglist – zum scrollen";>
 
* Stephen Kleene '''Recursive Predicates and Quantifiers''' American Mathematical Society Transactions. 1943.
* Paul Baran. '''On Distributed Communications Networks''' IEEE Transactions on Communications Systems, March 1964.
* Peter Landin. '''A Generalization of Jumps and Labels''' Report. UNIVAC Systems Programming Research. August 1965. Reprinted in Higher Order and Symbolic Computation. 1998.
* [[Эдсгер Дейкстра|Edsger Dijkstra]] '''Solution of a Problem in Concurrent Programming Control''' Communications of the ACM, 1965.
* Jack Dennis and Earl Van Horn. '''Programming Semantics for Multiprogrammed Computations''' CACM. March 1966.
* [[Оле-Йохан Даль|Ole-Johan Dahl]] and [[Кристен Нюгорд|Kristen Nygaard]]. '''Class and subclass declarations''' IFIP TC2 Conference on Simulation Programming Languages. May 1967.
* Carl Hewitt. '''PLANNER: A Language for Proving Theorems in Robots''' IJCAI 1969
* William A. Woods. '''Transition network grammars for natural language analysis''' CACM. 1970.
* Terry Winograd. '''Procedures as a Representation for Data in a Computer Program for Understanding Natural Language''' MIT AI TR-235. January 1971.
* Carl Hewitt. '''Procedural Embedding of Knowledge In Planner''' IJCAI 1971.
* G.M. Birtwistle, Ole-Johan Dahl, B. Myhrhaug and Kristen Nygaard. '''SIMULA Begin''' Auerbach Publishers Inc, 1973.
* Daniel Bobrow: '''A Model for Control Structures for Artificial Intelligence Programming Languages''' IJCAI 1973.
* Carl Hewitt, ''et al.'' '''Actor Induction and Meta-evaluation''' Conference Record of ACM Symposium on Principles of Programming Languages, January 1974.
* Carl Hewitt, ''et al.'' '''Behavioral Semantics of Nonrecursive Control Structure''' Proceedings of Colloque sur la Programmation, April 1974.
* Irene Greif and Carl Hewitt. '''Actor Semantics of PLANNER-73''' Conference Record of ACM Symposium on Principles of Programming Languages. January 1975.
* Carl Hewitt. '''How to Use What You Know''' IJCAI. September, 1975.
* Alan Kay and Adele Goldberg. [http://www.bitsavers.org.nyud.net/pdf/xerox/parc/techReports/Smalltalk-72_Instruction_Manual_Mar76.pdf '''Smalltalk-72 Instruction Manual'''] Xerox PARC Memo SSL-76-6. May 1976.
* Edsger Dijkstra. '''A discipline of programming''' Prentice Hall. 1976. Рус. пер. [[Эдсгер Дейкстра]] '''Дисциплина программирования''', М.: Мир, 1978
* Carl Hewitt and Henry Baker '''[http://www.lcs.mit.edu/publications/pubs/pdf/MIT-LCS-TR-194.pdf Actors and Continuous Functionals]''' Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977.
* Henry Baker and Carl Hewitt '''The Incremental Garbage Collection of Processes''' Proceeding of the Symposium on Artificial Intelligence Programming Languages. SIGPLAN Notices 12, August 1977.
* Gilles Kahn and David MacQueen. '''Coroutines and networks of parallel processes''' IFIP. 1977
* Aki Yonezawa '''Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics''' MIT EECS Doctoral Dissertation. December 1977.
* Henry Baker. '''Actor Systems for Real-Time Computation''' MIT EECS Doctoral Dissertation. January 1978.
* Carl Hewitt and Russ Atkinson. '''[http://portal.acm.org/citation.cfm?id=512975&coll=portal&dl=ACM Synchronization in Actor Systems]''' Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. 1977
* Carl Hewitt and Russ Atkinson. '''Specification and Proof Techniques for Serializers''' IEEE Journal on Software Engineering. January 1979.
* Ken Kahn. '''A Computational Theory of Animation''' MIT EECS Doctoral Dissertation. August 1979.
* Carl Hewitt, Beppe Attardi, and Henry Lieberman. '''Delegation in Message Passing''' Proceedings of First International Conference on Distributed Systems Huntsville, AL. October 1979.
* Nissim Francez, C.A.R. Hoare, Daniel Lehmann, and Willem-Paul de Roever. '''Semantics of nondetermiism, concurrency, and communication''' Journal of Computer and System Sciences. December 1979.
* [[Милн, Джордж|George Milne]] and [[Милнер, Робин|Robin Milner]]. '''Concurrent processes and their syntax''' JACM. April 1979.
* Russ Atkinson. '''Automatic Verification of Serializers''' MIT Doctoral Dissertation. June, 1980.
* Bill Kornfeld and Carl Hewitt. '''The Scientific Community Metaphor''' IEEE Transactions on Systems, Man, and Cybernetics. January 1981.
* Bill Kornfeld. '''Parallelism in Problem Solving''' MIT EECS Doctoral Dissertation. August 1981.
* Daniel Theriault. '''A Primer for the Act-1 Language''' MIT AI memo 672. April 1982.
* Daniel Theriault. '''Issues in the Design and Implementation of Act 2''' MIT AI technical report 728. June 1983.
* Henry Lieberman. '''An Object-Oriented Simulator for the Apiary''' Conference of the American Association for Artificial Intelligence, Washington, D. C., August 1983
* Carl Hewitt and Peter de Jong. '''Analyzing the Roles of Descriptions and Actions in Open Systems''' Proceedings of the National Conference on Artificial Intelligence. August 1983.
* Carl Hewitt and Henry Lieberman. '''Design Issues in Parallel Architecture for Artificial Intelligence''' MIT AI memo 750. Nov. 1983.
* Daniel Ingalls. '''The Evolution of the Smalltalk Virtual Machine''' in Smalltalk-80: Bits of History, Words of Advice. Addison Wesley. 1983.
* Hal Abelson, Gerald Jay Sussman and Julie Sussman, '''Structure and Interpretation of Computer Programs''' MIT Press and McGraw-Hill, 1985.
* [[Хоар, Чарльз Энтони Ричард|C.A.R. Hoare]]. '''[http://www.usingcsp.com/ Communicating Sequential Processes]''' Prentice Hall. 1985.
* Carl Hewitt. '''The Challenge of Open Systems''' Byte Magazine. April 1985. Reprinted in ''The foundation of artificial intelligence---a sourcebook'' Cambridge University Press. 1990.
* Carl Manning. '''Traveler: the actor observatory''' ECOOP 1987. Also appears in Lecture Notes in Computer Science, vol. 276.
* William Athas and Charles Seitz '''Multicomputers: message-passing concurrent computers''' IEEE Computer August 1988.
* William Athas and Nanette Boden '''Cantor: An Actor Programming System for Scientific Computing''' in Proceedings of the NSF Workshop on Object-Based Concurrent Programming. 1988. Special Issue of SIGPLAN Notices.
* Jean-Pierre Briot. '''From objects to actors: Study of a limited symbiosis in Smalltalk-80''' Rapport de Recherche 88-58, RXF-LITP, Paris, France, September 1988
* William Dally and Wills, D. '''Universal mechanisms for concurrency''' PARLE 1989.
* W. Horwat, A. Chien, and W. Dally. '''Experience with CST: Programming and Implementation''' PLDI. 1989.
* Carl Hewitt. '''Towards Open Information Systems Semantics''' Proceedings of 10th International Workshop on Distributed Artificial Intelligence. October 23–27, 1990. Bandera, Texas.
* Akinori Yonezawa, Ed. '''ABCL: An Object-Oriented Concurrent System''' MIT Press. 1990.
* K. Kahn and Vijay A. Saraswat, "[http://doi.acm.org/10.1145/97946.97955 Actors as a special case of concurrent constraint (logic) programming]", in SIGPLAN ''Notices'', October 1990. Describes Janus computer programming language.
* Carl Hewitt. '''Open Information Systems Semantics''' Journal of Artificial Intelligence. January 1991.
* Carl Hewitt and Jeff Inman. '''DAI Betwixt and Between: From "Intelligent Agents" to Open Systems Science''' IEEE Transactions on Systems, Man, and Cybernetics. Nov./Dec. 1991.
* Carl Hewitt and Gul Agha. '''Guarded Horn clause languages: are they deductive and Logical?''' International Conference on Fifth Generation Computer Systems, Ohmsha 1988. Tokyo. Also in ''Artificial Intelligence at MIT'', Vol. 2. MIT Press 1991.
* William Dally, ''et al.'' '''The Message-Driven Processor: A Multicomputer Processing Node with Efficient Mechanisms''' IEEE Micro. April 1992.
* S. Miriyala, G. Agha, and Y.Sami. '''Visulatizing actor programs using predicate transition nets''' Journal of Visual Programming. 1992.
* Alan Kay. '''[http://www.smalltalk.org/smalltalk/TheEarlyHistoryOfSmalltalk_Abstract.html The Early History of Smalltalk]''' The second ACM conference on history of programming languages. 1993.
* Carl Hewitt and Carl Manning. '''Negotiation Architecture for Large-Scale Crisis Management''' AAAI-94 Workshop on Models of Conflict Management in Cooperative Problem Solving. Seattle, WA. Aug. 4, 1994.
* Darrell Woelk. '''Developing InfoSleuth Agents Using Rosette: An Actor Based Language''' Proceedings of the CIKM '95 Workshop on Intelligent Information Agents. 1995.
* Carl Hewitt and Carl Manning. '''Synthetic Infrastructures for Multi-Agency Systems''' Proceedings of ICMAS '96. Kyoto, Japan. December 8–13, 1996.
* S. Frolund. '''Coordinating Distributed Objects: An Actor-Based Approach for Synchronization''' MIT Press. November 1996.
* W. Kim. '''ThAL: An Actor System for Efficient and Scalable Concurrent Computing''' PhD thesis. University of Illinois at Urbana Champaign. 1997.
* Jean-Pierre Briot. [http://www.ifs.uni-linz.ac.at/~ecoop/cd/papers/ec89/ec890109.pdf '''Acttalk: A framework for object-oriented concurrent programming-design and experience'''] 2nd France-Japan workshop. 1999.
* N. Jamali, P. Thati, and G. Agha. '''An actor based architecture for customizing and controlling agent ensembles''' IEEE Intelligent Systems. 14(2). 1999.
* Don Box, David Ehnebuske, Gopal Kakivaya, Andrew Layman, Noah Mendelsohn, Henrik Nielsen, Satish Thatte, Dave Winer. '''Simple Object Access Protocol (SOAP) 1.1''' [[W3C]] Note. May 2000.
* M. Astley, D. Sturman, and G. Agha. '''Customizable middleware for modular distributed software''' CACM. 44(5) 2001.
* Carlos Varela. '''Worldwide Computing with Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination''' PhD thesis. U. of Illinois at Urbana-Champaign. 2001.
* N. Venkatasubramanian, C. Talcott, and G. Agha. '''A formal model for reasoning about adaptive QoS-enabled middleware''' Formal Methods Europe (FME). 2001.
* Edward Lee, S. Neuendorffer, and M. Wirthlin. [http://ptolemy.eecs.berkeley.edu/papers/02/actorOrientedDesign/newFinal.pdf '''Actor-oriented design of embedded hardware and software systems'''] Journal of circuits, systems, and computers. 2002.
* P. Thati, R. Ziaei, and G. Agha. '''A Theory of May Testing for Actors''' Formal Methods for Open Object-based Distributed Systems. March 2002.
* P. Thati, R. Ziaei, and G. Agha. '''A theory of may testing for asynchronous calculi with locality and no name matching''' Algebraic Methodology and Software Technology. Springer Verlag. September 2002. LNCS 2422.
* Gul Agha and Carlos Varela. '''Worldwide Computing Middleware''' Practical Handbook on Internet Computing. CRC Press, 2004.
* Stephen Neuendorffer. [http://www.eecs.berkeley.edu/Pubs/TechRpts/2005/ERL-05-1.pdf '''Actor-Oriented Metaprogramming'''] PhD Thesis. University of California, Berkeley. December, 2004
* Carl Hewitt (2006a) '''The repeated demise of logic programming and why it will be reincarnated''' What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006.
* Carl Hewitt (2006b) [http://www.pcs.usp.br/~coin-aamas06/10_commitment-43_16pages.pdf ''What is Commitment? Physical, Organizational, and Social''] COIN@AAMAS. April 27, 2006b.
* Carl Hewitt (2007a) '''What is Commitment? Physical, Organizational, and Social (Revised)''' Pablo Noriega .et al. editors. LNAI 4386. Springer-Verlag. 2007.
* Carl Hewitt (2007b) '''Large-scale Organizational Computing requires Unstratified Paraconsistency and Reflection''' COIN@AAMAS'07.
 
</div>
 
== Примечания ==
Источник — https://ru.wikibooks.org/wiki/Модель_акторов