演員模型

在電腦科學中，演員模型（英語：Actor model）是一種並行運算上的模型。「演員」是一種程式上的抽象概念，被視為並行運算的基本單元：當一個演員接收到一則訊息，它可以做出一些決策、建立更多的演員、傳送更多的訊息、決定要如何回答接下來的訊息。演員可以修改它們自己的私有狀態，但是只能通過訊息間接的相互影響（避免了基於鎖的同步）。

演員模型在1973年於Carl Hewitt、Peter Bishop及Richard Steiger的論文中提出。它已經被用作並行計算的理論理解框架和並行系統的實際實現基礎。演員模型和其他類似工作的關係討論可見於演員模型和行程演算。

基本概念

演員模型推崇的哲學是「一切皆是演員」，這與物件導向程式設計的「一切皆是對象」類似。

演員是一個運算實體，回應接收到的訊息，相互間是並行的：

• 傳送有限數量的訊息給其他演員；
• 建立有限數量的新演員；
• 指定接收到下一個訊息時要用到的行為。

以上動作不含有順序執行的假設，因此可以並列進行。

傳送者與已傳送通訊的解耦，是演員模型的根本優勢，演員模型啟用了非同步通訊並將控制結構當作訊息傳遞的模式。

訊息接收者是通過位址區分的，有時也被稱作「郵件位址」。因此演員只能和它擁有位址的演員通訊。它可以通過接收到的資訊取得位址，或者取得它建立的演員的位址。

演員模型的特徵是，演員內部或相互之間的計算本質上是並行性的，演員可以動態建立，演員位址包含在訊息中，互動只有通過直接的非同步訊息傳遞通訊，不限制訊息到達的順序。

歷史

主條目：演員模型歷史

演員模型受到了Lisp、Simula、Smalltalk-72、基於權限的系統和封包交換的影響。其發展「受到由幾十、幾百、甚至幾千個獨立微處理機構成的高度平行計算機器的前景所推動，其中的每個處理機都有自己局部主記憶體和通訊處理器，它們通過高效能網路進行通訊。」此後隨著採用多核和眾核電腦架構的大規模並行計算的出現，人們已經重新燃起了對演員模型的興趣。

在Hewitt、Bishop和Steiger的1973年刊物之後，Irene Greif在1975年博士論文中，為演員模型開發出了一種操作語意。Henry Baker和Hewitt在1977年發表了演員系統的公理法則。其他主要的里程碑包括：William Clinger的1981年學位論文，它介入了基於冪域的指稱語意；還有Gul Agha的1985年學位論文，它進一步發展出基於transition的語意模型，從而補充了Clinger的模型。這些工作促成了演員模型理論的全面發展。

主要的軟體實現工作，由麻省理工學院的訊息傳遞語意小組完成，其成員包括Russ Atkinson、Giuseppe Attardi、Henry Baker、Gerry Barber、Peter Bishop、Peter de Jong、Ken Kahn、Henry Lieberman、Carl Manning、Tom Reinhardt、Richard Steiger和Dan Theriault。分別由加州理工學院的Chuck Seitz和麻省理工學院的Bill Dally領導的研究小組，致力於構造新的電腦架構，用以進一步發展演員模型中的訊息傳遞。有關工作詳見演員模型實現。

演員模型的研究，已經開展於加州理工學院、京都大學、微電子及電腦技術公司、MIT人工智慧實驗室、斯坦福國際研究所、史丹佛大學、伊利諾伊大學厄巴納-香檳分校、巴黎第六大學、比薩大學、東京大學米澤研究室、荷蘭數學和電腦科學研究學會和其他一些地方。

使用演員模型編程

一些程式語言使用了演員模型或變種。這些語言套件括：

早期的演員模型程式語言

• Act 1，2，3
• Acttalk
• Ani
• Cantor
• Rosette

後期的演員模型程式語言

• ABCL
• AmbientTalk
• Axum
• CAL演員語言
• D
• E
• Elixir
• Encore
• Erlang
• Fantom
• Humus
• Io
• Pony
• Ptolemy計劃
• P
• P#
• Rebeca
• Reia
• Rust
• SALSA
• Scala
• Scratch
• TNSDL

演員模型庫及框架

演員模型庫及框架，允許使用者在沒有內建演員模型的語言中進行編程。這些框架包括：

名稱	狀態	最新發行	許可證	語言
ReActed	活躍	2022-11-30	Apache 2.0	Java
Acteur	活躍	2020-04-16	Apache-2.0 / MIT	Rust
Bastion	活躍	2020-08-12	Apache-2.0 / MIT	Rust
Actix	活躍	2019-05-30	MIT	Rust
Aojet	活躍	2016-10-17	MIT	Swift
Actor	活躍	2017-03-09	MIT	Java
Actor4j	活躍	2020-01-31	Apache 2.0	Java
Actr	活躍	2019-04-09	Apache 2.0	Java
Vert.x	活躍	2018-02-13	Apache 2.0	Java, Groovy, Javascript, Ruby, Scala, Kotlin, Ceylon
ActorFx	不活躍	2013-11-13	Apache 2.0	.NET
Akka	活躍	2022-09-06	Apache 2.0	Java and Scala
Akka.NET	活躍	2020-08-20	Apache 2.0	.NET
Apache Pekko	活躍	2023-07-26	Apache 2.0	Java and Scala
Remact.Net	不活躍	2016-06-26	MIT	.NET, Javascript
Ateji PX	不活躍	?	?	Java
czmq	活躍	2016-11-10	MPL-2	C
F# MailboxProcessor	活躍	同於F# (內建核心庫)	Apache License	F#
Korus	活躍	2010-02-04	GPL 3	Java
Kilim	活躍	2018-11-09	MIT	Java
ActorFoundry (基於Kilim)	不活躍	2008-12-28	?	Java
ActorKit	活躍	2011-09-13	BSD	Objective-C
Cloud Haskell	活躍	2015-06-17	BSD	Haskell
CloudI	活躍	2023-10-27	MIT	ATS, C/C++, Elixir/Erlang/LFE, Go, Haskell, Java, Javascript, OCaml, Perl, PHP, Python, Ruby
Clutter	活躍	2017-05-12	LGPL 2.1	C, C++ (cluttermm), Python (pyclutter), Perl (perl-Clutter)
NAct	不活躍	2012-02-28	LGPL 3.0	.NET
Nact	活躍	2018-06-06	Apache 2.0	JavaScript/ReasonML
Retlang	不活躍	2011-05-18	New BSD	.NET
JActor	不活躍	2013-01-22	LGPL	Java
Jetlang	活躍	2013-05-30	New BSD	Java
Haskell-Actor	不活躍？	2008	New BSD	Haskell
GPars	活躍	2014-05-09	Apache 2.0	Groovy
OOSMOS	活躍	2019-05-09	GPL 2.0和商業(雙許可證)	C. C++ friendly
Panini	活躍	2014-05-22	MPL 1.1	自己的程式語言
PARLEY	不活躍？	2007-22-07	GPL 2.1	Python
Peernetic	活躍	2007-06-29	LGPL 3.0	Java
PostSharp	活躍	2014-09-24	商業 / Freemium	.NET
Pulsar	活躍	2016-07-09	New BSD	Python
Pulsar	活躍	2016-02-18	LGPL/Eclipse	Clojure
Pykka	活躍	2019-05-07	Apache 2.0	Python
Termite Scheme	不活躍？	2009-05-21	LGPL	Scheme (Gambit實現)
Theron	不活躍	2014-01-18	MIT	C++
Thespian	活躍	2020-03-10	MIT	Python
Quasar	活躍	2018-11-02	LGPL/Eclipse	Java
Libactor	不活躍？	2009	GPL 2.0	C
Actor-CPP	活躍	2012-03-10	GPL 2.0	C++
S4	不活躍	2012-07-31	Apache 2.0	Java
C++ Actor Framework (CAF)	活躍	2020-02-08	Boost Software License 1.0 and BSD 3-Clause	C++11
Celluloid	活躍	2018-12-20	MIT	Ruby
LabVIEW Actor Framework	活躍	2012-03-01	National Instruments SLA	LabVIEW
LabVIEW Messenger Library	活躍	2021-05-24	BSD	LabVIEW
Otavia	活躍	2024-01-02	Apache 2.0	Scala
Orbit	活躍	2019-05-28	New BSD	Java
QP框架	活躍	2019-05-25	GPL 2.0和商業(雙許可證)	C and C++
libprocess	活躍	2013-06-19	Apache 2.0	C++
SObjectizer	活躍	2021-12-28	New BSD	C++11
rotor	活躍	2022-04-23	MIT License	C++17
Orleans	活躍	2023-07-11	MIT License	C#/.NET
Skynet	活躍	2016-07-11	MIT License	C/Lua
Reactors.IO	活躍	2016-06-14	BSD License	Java/Scala
libagents	活躍	2020-03-08	Free software license	C++11
Proto.Actor	活躍	2021-01-05	Free software license	Go, C#, Python, JavaScript, Java, Kotlin
FunctionalJava	活躍	2018-08-18	BSD 3-Clause	Java
Riker	活躍	2019-01-04	MIT License	Rust
Comedy	活躍	2019-03-09	EPL 1.0	JavaScript
VLINGO XOOM Actors	活躍	2023-02-15	Mozilla Public License 2.0	Java, Kotlin, JVM languages, C# .NET
wasmCloud	活躍	2021-03-23	Apache 2.0	WebAssembly (Rust, TinyGo, Zig, AssemblyScript)
ray	活躍	2020-08-27	Apache 2.0	Python
DOTNETACTORS	活躍	2021-06-14	MIT	.NET, C#, Azure Service Bus
go-actor	活躍	2022-08-16	GPL 3.0	Golang
Sento	活躍	2022-11-21	Apache 2.0	Common Lisp
Xcraft Goblins	活躍	2022-08-30	MIT	JavaScript
Tarant	活躍	2023-04-17	MIT	Typescript, Javascript

注意這裡沒有列出全部框架和庫。

並行程式語言用例

儘管Erlang語言設計者並未如此表述，因其行程間通訊是通過無共享非同步訊息傳遞系統運作，它一般被引證為採用演員模型的典型代表之一。在Erlang中，所有行程都有一個自己的「電子信箱」，它是從其他行程已經傳送過來而仍未被消費的訊息的佇列。行程使用receive原語來檢索匹配預期模式的訊息。一個訊息處理常式針對每個模式依次測試這些訊息，直到其中有一個匹配。在訊息被消費並從電子信箱中移除之時行程恢復執行。訊息可以包含任何Erlang結構，包括原始類型（整數，浮點數、字元、原子）、元組、列表和函式。

下面例子展示了Erlang對分散式行程的內建支援：

% 建立一个进程并启用函数web:start_server(Port, MaxConnections)
ServerProcess = spawn(web, start_server, [Port, MaxConnections]),

% 在机器RemoteNode上建立一个远程进程并启用函数web:start_server(Port, MaxConnections)
RemoteProcess = spawn(RemoteNode, web, start_server, [Port, MaxConnections]),

% (异步的)发送消息到ServerProcess。消息包含一个元组，它具有原子"pause"和数"10"。
ServerProcess ! {pause, 10},

% 接收发给这个进程的消息
receive
    a_message -> do_something;
    {data, DataContent} -> handle(DataContent);
    {hello, Text} -> io:format("Got hello message: ~s", [Text]);
    {goodbye, Text} -> io:format("Got goodbye message: ~s", [Text])
end.

原型的演員程式語言

主條目：演員模型實現

Hewitt在2006年發表了一個原型的演員程式語言，用意在於直接表達演員行為的重要方面。訊息採用如下表示法：

<標籤>[<元素>₁ ... <元素>_n]

程式語言的語意是通過將每個程式構造確定為有自己行為的演員來定義的。執行是通過在執行期間讓Eval訊息在程式構造之間傳遞來建模的。

環境演員

每個Eval訊息都有一個充當環境的演員的位址，它能夠進行識別碼與值的繫結（binding）。environment演員是不可變的（immutable），也就是不變更的。

• 當一個environment演員收到Request[Bind[identifier value] customer]的時候，建立一個新的環境演員environment』傳送給customer，使得這個新環境演員收到Request[Lookup[identifier』] customer』]的時候，如果identifier同於identifier』，則傳送給customer』一個Returned[value]，否則傳送給environment一個Request[Lookup[identifier』] customer』]。
• 當一個environment演員收到Request[Bind[<模式> String] customer]的時候，如果此<模式>形如Request[msg[paramerer] customer]，匹配於String形如Request[msg[argument] customer]，則建立一個新的環境演員environment』傳送給customer，使得這個新環境演員收到Request[Lookup[parameter』] customer』]的時候，如果parameter』同於parameter，則傳送給customer』一個Returned[argument]，否則傳送給customer一個Thrown[NotFound[<模式>]]。
• 當一個environment演員收到Request[Bind[identifier(parameter) value] customer]的時候，建立一個新的環境演員environment』傳送給customer，使得這個新環境演員收到Request[Lookup[identifier』(argument)] customer』]的時候，如果identifier同於identifier』，則建立一個新的環境演員environment』』，傳送給customer』一個Returned[value]和一個Returned[environment』』]，否則傳送給environment一個Request[Lookup[identifier』(argument)] customer』]。這個新環境演員environment』』在收到Request[Lookup[parameter』] customer』]的時候，如果parameter』同於parameter，則傳送給customer』一個Returned[argument]，否則傳送給environment』一個Request[Lookup[parameter』] customer』]。

上述環境演員建造在EmptyEnvironment演員之上，它在接收到Request[Lookup[identifier] customer]的時候，傳送給customer一個Thrown[NotFound[identifier]]。當它收到Bind請求的時候，EmptyEnvironment表現的如同上述環境演員。

表達式

原型語言有如下種類的表達式，這裡的通訊包括Request[...]、Returned[...]和Thrown[...]，這裡的訊息包括Eval[...]、Bind[...]和Lookup[...]：

<識別碼>

在收到Request[Eval[environment] customer]的時候，傳送給environment一個Request[Lookup[<識別碼>] customer]。

send <接收者> <通訊>

在收到Request[Eval[environment] customer]的時候，建立一個新演員evalCustomer₁，傳送給<接收者>一個Request[Eval[environment] evalCustomer₁]，使得

在evalCustomer₁收到通訊Returned[theRecipient]的時候，建立一個新演員evalCustomer₂，傳送給<通訊>一個Request[Eval[environment] evalCustomer₂]，使得

在evalCustomer₂收到通訊Returned[theCommunication]的時候，傳送給theRecipient一個theCommunication。

<接收者>.<訊息>

在收到Request[Eval[environment] customer]的時候，建立一個新演員evalCustomer₁，傳送<接收者>一個Request[Eval[environment] evalCustomer₁]，使得

在evalCustomer₁收到通訊Returned[theRecipient]的時候，建立一個新演員evalCustomer₂，傳送給<訊息>一個Request[Eval[environment] evalCustomer₂]，使得

在 evalCustomer₂收到通訊Returned[theMessage]的時候，傳送給theRecipient一個Request[theMessage customer]。

receiver ... <模式>_i <表達式>_i ...

在收到Request[Eval[environment] customer]的時候，傳送給customer一個新演員theReceiver，使得

在theReceiver收到通訊內容com的時候，建立一個新演員bindingCustomer，並行送給environment一個Request[Bind[<模式>_i com] bindingCustomer]，而且

1. 如果bindingCustomer收到Returned[environment』]，傳送給<表達式>_i一個Request[Eval[environment』]]
2. 不然如果bindingCustomer收到Thrown[...]，嘗試<模式>_i+1。

behavior ... <模式>_i <表達式>_i ...

在收到Request[Eval[environment] customer]的時候，傳送給customer一個新演員theReceiver，使得

在theReceiver收到Request[message customer』]的時候，建立一個新演員bindingCustomer，並行送給environment一個Request[bind[<模式>_i message] customer』]，而且

1. 如果bindingCustomer收到Returned[environment』]，傳送給<表達式>_i一個Request[Eval[environment』] customer』]
2. 不然如果bindingCustomer收到Thrown[...]，嘗試<模式>_i+1。

{<表達式>₁, <表達式>₂}

在收到Request[Eval[environment] customer]的時候，傳送給<表達式>₁一個Request[Eval[environment]]，而且並行的傳送給<表達式>₂一個Request[Eval[environment] customer]。

let <識別碼> = <表達式>_值 in <表達式>_體

在收到message[Eval[environment] customer]的時候，建立一個新演員evalCustomer，並行送給<表達式>_值一個Request[Eval[environment] evalCustomer]。

在evalCustomer收到Returned[theValue]的時候，建立一個新演員bindingCustomer，並行送給environment一個Request[bind[<識別碼> theValue] bindingCustomer]。

在bindingCustomer收到Returned[environment』]的時候，傳送給<expression>_體一個Request[Eval[environment』] customer]。

serializer <表達式>

在收到Request[Eval[environment] customer]的時候，傳送給customer一個Returned[theSerializer]，這裡的theSerializer是新演員，使得傳送到theSerializer的通訊按FIFO次序由行為演員處理，行為演員初始是<表達式>.Eval[environment]，而且

在theSerializer收到通訊內容com的時候，建立一個新演員customer』，傳送給行為演員一個Request[com customer』]，使得

在customer』收到Returned[value]和Returned[theNextBehavior]的時候，Returned[value]被傳送給customer，而theNextBehavior被theSerializer用作下次通訊的行為演員。

例子程式

下面是簡單的儲存儲存格（cell）的例子指令碼（script），它可以包含任何演員位址：

Cell ≡

receiver

Request[Create[initial] customer]

send customer Returned[serializer ReadWrite(initial)]

上述指令碼將建立一個儲存儲存格，它採用的行為ReadWrite定義如下：

ReadWrite(contents) ≡

behavior

Request[read[] customer]

{send customer Returned[contents], Returned[ReadWrite(contents)]}

Request[write[x] customer]

{send customer Returned[], Returned[ReadWrite(x)]}

例如，下列表達式建立一個儲存格x，具有初始內容5，並接著並行的向它寫值7和9。

let x = Cell.Create[5] in {x.write[7], x.write[9], x.read[]}

上述表達式的值是5、7或9。

影響

演員模型在並行計算的理論發展和實踐軟體開發中都有影響。

理論

演員模型影響了π-演算和隨後的行程演算的發展。在Robin Milner的圖靈獎獲獎演說中，他寫到：

純lambda演算現在只使用兩種東西來建造：項和變數。我們在行程演算上也能實現同樣的經濟性嗎？Carl Hewitt憑藉其演員模型，很久以前就應對了這個挑戰；他宣告了值、在值上的算子和行程，都應該是同一種東西：即演員。

這個目標打動了我，因為它蘊涵了表達式有著同質性和完整性 ... 但是很久以後我才明白了如何依據代數演算來達成這個目標 ...

因此本著Hewitt的精神，我們的第一步，就是要求由項指示或由名字訪問的所有東西，包括值、暫存器、算子、行程、對象，都是同一種東西；它們都應當是行程。

實踐

演員模型在商業實踐中已經有了巨大的影響。例如，Twitter將演員用於可伸縮性應用。還有，Microsoft在其開發的非同步代理庫中使用了演員模型。

參見

• 資料流程編程
• 並列編程模型
• 輸入/輸出自動機
• 科學共同體隱喻

延伸閱讀

• Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems （頁面存檔備份，存於網際網路檔案館）. MIT Press 1985.
• Paul Baran. On Distributed Communications Networks IEEE Transactions on Communications Systems. March 1964.
• William A. Woods. Transition network grammars for natural language analysis （頁面存檔備份，存於網際網路檔案館） CACM. 1970.
• 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.
• Carl Hewitt, et al. Actor Induction and Meta-evaluation Conference Record of ACM Symposium on Principles of Programming Languages, January 1974.
• Carl Hewitt, 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. Smalltalk-72 Instruction Manual. Xerox PARC Memo SSL-76-6. May 1976.
• Edsger Dijkstra. A discipline of programming Prentice Hall. 1976.
• Carl Hewitt and Henry Baker Actors and Continuous Functionals Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977.
• Carl Hewitt and Russ Atkinson. 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.
• 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.
• C.A.R. Hoare. Communicating Sequential Processes （頁面存檔備份，存於網際網路檔案館） Prentice Hall. 1985.
• Carl Hewitt. The Challenge of Open Systems Byte. 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, "Actors as a special case of concurrent constraint (logic) programming", in SIGPLAN Notices, October 1990. Describes Janus.
• 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. Visualizing actor programs using predicate transition nets （頁面存檔備份，存於網際網路檔案館） Journal of Visual Programming. 1992.
• 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.
• 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. 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.
• Edward Lee, S. Neuendorffer, and M. Wirthlin. 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.
• Stephen Neuendorffer. 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) 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.
• D. Charousset, T. C. Schmidt, R. Hiesgen and M. Wählisch. Native actors: a scalable software platform for distributed, heterogeneous environments in AGERE! '13 Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control.