通信的演员自动机 -- 将 Erlang 进程建模为通信机器
摘要：通信有限状态机（CFSMs）是Brand和Zafiropulo提出的一种有关消息传递并发的简洁而强大的模型，基于通道。然而，CFSMs并不能直接捕捉到一种重要的消息传递并发变体：演员模型。在本文中，我们定义了一种CFSMs的变体，称为通信演员自动机（CAAs），以捕捉Erlang所提供的演员模型并发：包含邮箱，其中根据重复应用模式匹配接收消息。此外，这种CFSMs的变体支持动态过程拓扑，捕捉在基于演员的消息传递并发上下文中的常见编程习惯。这为建模、说明和验证Erlang程序提供了新的基础。我们还考虑了一类CAAs，可以实现避免竞争条件。
作者：Dominic Orchard (University of Kent, UK), Mihail Munteanu (Masabi Ltd.), Paulo Torrens (University of Kent, UK)
论文ID：2304.06395
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-14