Linear time and branching time semantics for recursion with merge

1984

Theoretical Computer Science , Volume 34 - Issue 1-2 p. 135- 156

Additional Metadata
MSC	Semantics (msc 68Q55)
Publisher	elsevier
Journal	Theoretical Computer Science
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Bakker, J., Bergstra, J., Klop, J. W.& Meyer, J.-J. (1984). Linear time and branching time semantics for recursion with merge. Theoretical Computer Science, 34(1-2), 135–156.

Publication