アクターモデル
(actor model から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/11/08 06:58 UTC 版)
アクターモデル（英: actor model）とは、1973年、カール・ヒューイット、Peter Bishop、Richard Steiger が発表した並行計算の数学的モデルの一種[1]。アクターモデルでは、並行デジタル計算の汎用的基本要素として「アクター」という概念を導入している。アクターモデルは並行性の理論的理解のフレームワークとして使われるほか、並行システムの実装の理論的基礎としても利用されてきた。
- ^ Carl Hewitt（1973年）, "A Universal Modular Actor Formalism for Artificial Intelligence". IJCAI.
- ^ a b c d William Clinger（1981年6月）, "Foundations of Actor Semantics". Mathematics Doctoral Dissertation. MIT.
- ^ a b Irene Greif（1975年8月）. "Semantics of Communicating Parallel Processes". EECS Doctoral Dissertation. MIT
- ^ a b Henry Baker（1977年8月）. "Laws for Communicating Parallel Processes". IFIP.
- ^ a b c Gul Agha（1986年）. "Actors: A Model of Concurrent Computation in Distributed Systems". Doctoral Dissertation. MIT Press.
- ^ a b Gul Agha; Ian Mason, Scott Smith, and Carolyn Talcott（1993年1月）. "A Foundation for Actor Computation". Journal of Functional Programming.
- ^ Carl Hewitt（2006年4月27日）. "What is Commitment? Physical, Organizational, and Social". COIN@AAMAS.
- ^ Mauro Gaspari（1997年5月）. "An Algebra of Actors". Technical Report UBLCS-97-4. University of Bologna.
- ^ M. Gaspari（1999年）. "An Algebra of Actors". Formal Methods for Open Object Based Systems.
- ^ Gul Agha（2004年）. "An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language". From OO to FM (Dahl Festschrift) LNCS 2635.
- ^ John Darlington（1994年）. "Formalizing Actors in Linear Logic". International Conference on Object-Oriented Information Systems.
- ^ 「無制限の不確定性」とも言う。ヒューイットがニールス・ボーアに倣って好んで使った用語
[続きの解説]
「アクターモデル」の続きの解説一覧
- 1 アクターモデルとは
- 2 アクターモデルの概要
- 3 応用
- 4 アクターモデルの重要性
- 5 参考文献
- 6 外部リンク
固有名詞の分類
- アクターモデルのページへのリンク
