文献
J-GLOBAL ID:200902064589719700
整理番号:88A0494960
互いに通信する有限状態機械のネットワークに対するlivenessの証明
Proving liveness for networks of communicating finite state machines.
著者 (2件):
GOUDA M G
(Univ. Texas at Austin, TX, USA)
,
CHANG C-K
(Univ. Texas at Austin, TX, USA)
資料名:
ACM Transactions on Programming Languages and Systems
(ACM Transactions on Programming Languages and Systems)
巻:
8
号:
1
ページ:
154-182
発行年:
1986年01月
JST資料番号:
C0139B
ISSN:
0164-0925
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)