定義:
一個通信有限狀態自動機由一組有限狀態自動機的集合M和一組通道C組成。約定：網絡N=(M,C)；|M|=r
且N滿足：
l M={m1,m2,……mr}是一個有r個有限狀態機的有限集合；
l C={Cij：i,j≤r而且i≠j}是一個通道的有限集合；
l 對M中的每個自動機mi，是確定有限狀態機，其描述與FSM定義相同；
l C中的每個通道Cij表示mi到mj的通信通道。它是一個先進先出的隊列，mj從隊列的頭讀出數據作為輸入，mi把要向mj輸出數據送到隊列的尾部。
CFSM是描述互相通信的多臺網絡設備工作情況的常用方法。