Research@StAndrews
 
The University of St Andrews

Research@StAndrews:FullText >
University of St Andrews Research >
University of St Andrews Research >
University of St Andrews Research >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10023/1807
View Statistics

Files in This Item:

File Description SizeFormat
MBG_99b.pdf133.79 kBAdobe PDFView/Open
Title: ProcessBase Abstract Machine Manual (Version 2.0.6)
Authors: Morrison, R.
Balasubramaniam, D.
Greenwood, M.
Kirby, G. N. C.
Mayes, K.
Munro, D. S.
Warboys, B. C.
Keywords: Compliance
QA76 Computer software
Issue Date: 1999
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 .
Abstract: This describes the ProcessBase abstract machine being developed as part of the Compliant System Architecture project.
Version: Postprint
URI: http://hdl.handle.net/10023/1807
Type: Report
Publisher: Universities of St Andrews and Manchester
Appears in Collections:University of St Andrews Research
Computer Science Research



This item is protected by original copyright

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

DSpace Software Copyright © 2002-2012  Duraspace - Feedback
For help contact: Digital-Repository@st-andrews.ac.uk | Copyright for this page belongs to St Andrews University Library | Terms and Conditions (Cookies)