Concurrent Hardware : Theory and Practice of Self-timed Design

This book examines the theory and design of self-timed systems.

It addresses general issues concerning the very nature of concurrency and demonstrates the particular features of asynchronous design.

The book presents formal models of the specification and verification of parallel processes and describes methods for self-timed circuit synthesis and analysis.