Abstract

We present a generalisation of a commutation criterion by Rosen (1973), the development closedness theorem by van Oostrom (1994), and a confluence criterion by Hirokawa and Middeldorp (2011).

BibTeX Entry

@inproceedings{HM-IWC13,
 author    = "Nao Hirokawa and Aart Middeldorp",
 title     = "Commutation via Relative Termination",
 booktitle = "Proceedings of the 2nd International Workshop on Confluence",
 editor    = "Nao Hirokawa and Vincent van Oostrom",
 pages     = "29--33",
 year      = 2013
}