TERMINATION MODULE EQUATIONS BY ABSTRACT COMMUTATION WITH AN APPLICATION TO ITERATION

Authors
FOKKINK W ZANTEMA H
Citation
W. Fokkink et H. Zantema, TERMINATION MODULE EQUATIONS BY ABSTRACT COMMUTATION WITH AN APPLICATION TO ITERATION, Theoretical computer science, 177(2), 1997, pp. 407-423
Citations number
34
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
177
Issue
2
Year of publication
1997
Pages
407 - 423
Database
ISI
SICI code
0304-3975(1997)177:2<407:TMEBAC>2.0.ZU;2-S
Abstract
We generalize a termination theorem in term rewriting, based on an abs tract commutation technique, to rewriting module equations. This resul t is applied in the setting of process algebra with iteration.