ProcessBase Abstract Machine Manual (Version 2.0.6)

R. Morrison, D. Balasubramaniam, M. Greenwood, G. N. C. Kirby, K. Mayes, D. S. Munro, B. C. Warboys

Research output: Book/ReportOther report

2 Downloads (Pure)


This describes the ProcessBase abstract machine being developed as part of the Compliant System Architecture project.
Original languageEnglish
PublisherUniversities of St Andrews and Manchester
Number of pages54
Publication statusPublished - 1999


  • Compliance


Dive into the research topics of 'ProcessBase Abstract Machine Manual (Version 2.0.6)'. Together they form a unique fingerprint.

Cite this