Concurrent Processes and Their Syntax
Journal of the ACM (JACM)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction to VLSI Systems
Introduction to General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Input/Output Compatibility of Reactive Systems
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Hi-index | 0.00 |
Ideally, the high level language input to a silicon compiler should only contain information relevant to the structure and behaviour of the system specified, abstracting out as much as possible to the physical detail. This can be achieved by autolayout ...