LOTOS-LOTOS

网络释义：规约语言

网络释义

1.规约语言ACP ACP），时序排序规约语言（ ），时序排序规约语言（LOTOS LOTOS），计时 ），计时CSP(TCSP CSP(TCSP）， …