R.J.: Merge and termination in process algebra (1987)

by J C M Baeten, van Glabbeek
Venue:Proceedings 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science