On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/

Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami. On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/. In Ikuo Nakata, Masami Hagiya, editors, Software Science and Engineering: Selected Papers from the Kyoto Symposia. Volume 31 of World Scientific Series in Computer Science, pages 60-77, World Scientific, 1991. [doi]

Authors

Hiroyuki Seki

This author has not been identified. Look up 'Hiroyuki Seki' in Google

Kenichi Taniguchi

This author has not been identified. Look up 'Kenichi Taniguchi' in Google

Tadao Kasami

This author has not been identified. Look up 'Tadao Kasami' in Google