イイダ　シュウサク   IIDA Shusaku   飯田 周作    所属   専修大学  ネットワーク情報学部    職種   教授
言語種別	日本語
発行・発表の年月	1997/06/19
形態種別	未選択
標題	「Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling」
執筆形態	共著
掲載誌名	Formal Methods for Open Object-based Distributed Systems Chapman & Hall
巻・号・頁	341-356頁
著者・共著者	共著者:Kokichi Futatsugi. Takuo Watanabe