Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems

Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa. Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. In Martin Leucker, Carroll Morgan, editors, Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Volume 5684 of Lecture Notes in Computer Science, pages 349-355, Springer, 2009. [doi]

Authors

Kazunori Ueda

This author has not been identified. It may be one of the following persons: Look up 'Kazunori Ueda' in Google

Takayuki Ayano

This author has not been identified. Look up 'Takayuki Ayano' in Google

Taisuke Hori

This author has not been identified. Look up 'Taisuke Hori' in Google

Hiroki Iwasawa

This author has not been identified. Look up 'Hiroki Iwasawa' in Google

Seiji Ogawa

This author has not been identified. Look up 'Seiji Ogawa' in Google