1984
Linear time and branching time semantics for recursion with merge
Publication
Publication
Theoretical Computer Science , Volume 34 - Issue 1-2 p. 135- 156
Additional Metadata | |
---|---|
elsevier | |
Theoretical Computer Science | |
Organisation | Specification and Analysis of Embedded Systems |
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. |