Linear Time and Branching Time Semantics for Recursion with Merge.

J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer

Browse the full ICALP paper archive.