An Example for Concurrent Reflec- tive Computations in Rewriting Logic

論文・著書情報

タイトル

和文:
英文:	An Example for Concurrent Reflec- tive Computations in Rewriting Logic

著者

和文:	石川洋, 二木厚吉, 渡部卓雄.
英文:	Hiroshi Ishikawa, Kokichi Futatsugi, Takuo Watanabe.

言語

English

掲載誌/書名

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

巻, 号, ページ

pp. 178-185

出版年月

1996年3月4日

出版者

和文:
英文:	Springer

会議名称

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

開催地

和文:
英文:	Paris

DOI