Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications☆
Under an Elsevier user license
open archive
Keywords
Term rewriting system
Algebraic specification
Behavioral specification
Behavioral coherence
Observational transition system
Cited by (0)
- ☆
A preliminary version of a part of this article has appeared in Nakamura et al. (2005) (in Japanese).
- 1
Tel.: +81 76 234 4910; fax: +81 76 234 4870.
Copyright © 2010 Elsevier Ltd. All rights reserved.