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 ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Article]

Official URL: http://www.ams.org/mathscinet-getitem?mr=3101066

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:	http://www.ams.org/mathscinet/search/pub... Publisher Middlesex University Expert Profile
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)

View Item

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

640Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)