Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling

論文・著書情報

タイトル

和文:
英文:	Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling

著者

和文:	飯田周作, 二木厚吉, 渡部卓雄.
英文:	Shusaku Iida, Kokichi Futatsugi, Takuo Watanabe.

言語

English

掲載誌/書名

和文:
英文:	Formal Methods for Open Object-based Distributed Systems

巻, 号, ページ

pp. 341-356

出版年月

1996年3月4日

出版者

和文:
英文:	Springer

会議名称

和文:
英文:	IFIP 1st International Workshop on Formal Methods in Open Object-based Distributed Systems (FMOODS 1996)

開催地

和文:
英文:	Paris

DOI