An Example for Concurrent Reflec- tive Computations in Rewriting Logic

Publication Information

Title

Japanese:
English:	An Example for Concurrent Reflec- tive Computations in Rewriting Logic

Author

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

Language

English

Journal/Book name

Japanese:
English:	Formal Methods for Open Object-based Distributed Systems

Volume, Number, Page

pp. 178-185

Published date

Mar. 4, 1996

Publisher

Japanese:
English:	Springer

Conference name

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

Conference site

Japanese:
English:	Paris

DOI