Title: Towards the formal specification of the requirements and design of a processor interface unit
Subjects: Specifications, Computer networks, Computer interfaces, Fault-tolerant computing