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)

Abstract

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

Keywords

  • Compliance

Fingerprint

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

Cite this