Linear Time and Branching Time Semantics for Recursion with Merge

• Authors:

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

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the 10th Colloquium on Automata, Languages and Programming
• Year:
• 1983