Message Transport Model 2 of the CAETI Minimal Architecture

Donald I. Good
Updated by M. K. Smith

Computational Logic, Inc.
June 22, 1996

• MESSAGE TRANSPORT MODEL
• DERIVATION
• MATHEMATICAL MODEL
• ISSUES RAISED
• RELATED ACTIVITIES
• ACL2 MODEL
• SIMULATOR

Attachments

• BELLMAN'S INTRODUCTION OF CMA
• HARBISON'S ELABORATION OF CMA
• TCP CONCEPTS AND TERMINOLOGY
• BIBLIOGRAPHY
• CAETI ARCHITECTURE WORKING GROUPS

This page is URL http://www.computationallogic.com/software/caeti/architecture/model/index.html