Parallel program design: a foundation
Parallel program design: a foundation
The Z notation: a reference manual
The Z notation: a reference manual
Communicating sequential processes
Communications of the ACM
A Formal Approach to Hardware Design
A Formal Approach to Hardware Design
Communication and Concurrency
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Extended Duration Calculus for Hybrid Real-Time Systems
Hybrid Systems
Protocol selection and interface generation for HW-SW codesign
Readings in hardware/software co-design
Hi-index | 0.00 |
This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two. The model describes both functional and timing properties of an interface.