ProcessBase Abstract Machine Manual (Version 2.0.6)

dc.contributor.author	Morrison, R.
dc.contributor.author	Balasubramaniam, D.
dc.contributor.author	Greenwood, M.
dc.contributor.author	Kirby, G. N. C.
dc.contributor.author	Mayes, K.
dc.contributor.author	Munro, D. S.
dc.contributor.author	Warboys, B. C.
dc.date.accessioned	2011-04-04T12:34:44Z
dc.date.available	2011-04-04T12:34:44Z
dc.date.issued	1999
dc.identifier.citation	Morrison , R , Balasubramaniam , D , Greenwood , M , Kirby , G N C , Mayes , K , Munro , D S & Warboys , B C 1999 , ProcessBase Abstract Machine Manual (Version 2.0.6) . Universities of St Andrews and Manchester .	en
dc.identifier.other	PURE: 5020739
dc.identifier.other	PURE UUID: 0749a683-7008-454c-a79c-9ebe5ef331a0
dc.identifier.other	RIS: urn:246EDA389C136306986FEBBAEC781161
dc.identifier.other	ORCID: /0000-0002-4422-0190/work/28429143
dc.identifier.other	ORCID: /0000-0002-5093-0906/work/77132529
dc.identifier.uri	https://hdl.handle.net/10023/1807
dc.description.abstract	This describes the ProcessBase abstract machine being developed as part of the Compliant System Architecture project.
dc.format.extent	54
dc.language.iso	eng
dc.publisher	Universities of St Andrews and Manchester
dc.subject	Compliance	en
dc.subject	QA76 Computer software	en
dc.subject.lcc	QA76	en
dc.title	ProcessBase Abstract Machine Manual (Version 2.0.6)	en
dc.type	Report	en
dc.description.version	Postprint	en
dc.contributor.institution	University of St Andrews. School of Computer Science	en