Abstract
We generalize a termination theorem in term rewriting, based on an abstract commutation technique, to rewriting modulo equations. This result is applied in the setting of process algebra with iteration.
Original language | English |
---|---|
Pages (from-to) | 407-423 |
Number of pages | 17 |
Journal | Theoretical Computer Science |
Volume | 177 |
Issue number | 2 |
DOIs | |
Publication status | Published - 1997 |