Communicating X-Machine とは

通信(ストリーム)Xマシンは、通信エージェントで構成されるシステムをモデル化するために、1990年代にさまざまな研究者によって導入された計算モデルです。このモデルはSamuel EilenbergのXマシンやGilbert LaycockのStream X-Machineに直接基づいています。