Flexible termination semanticsTools Paul, Howells and d'Inverno, Mark. 2013. Flexible termination semantics. Theoretical Computer Science, 503, pp. 31-60. ISSN 0304-3975 [Article] No full text available
|
Flexible termination semanticsTools Paul, Howells and d'Inverno, Mark. 2013. Flexible termination semantics. Theoretical Computer Science, 503, pp. 31-60. ISSN 0304-3975 [Article] No full text available
|