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

@inproceedings{NHAM-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
}