Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013.

Kammueller, Florian (2014) Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013. MathSciNet: Mathematical Reviews . ISSN 2167-5163

Full text is not in this repository.

Abstract

MR3101066 (Reviewed) Howells, Paul ; d'Inverno, Mark . Specifying termination in CSP. Theoret. Comput. Sci. 503 (2013), 31--60. (Reviewer: Florian Kammüller)

Item Type: Article
Additional Information: MR3101066
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 15200
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 23 Apr 2015 11:00
Last Modified: 13 Oct 2016 14:33
URI: https://eprints.mdx.ac.uk/id/eprint/15200

Actions (login required)

Edit Item Edit Item