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.
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. No Jacket. Book. 8vo-over 7¾"-9¾" tall. Hardcover 1994 edition. Includes 3-1/2" disk. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Covers and text in very good condition. [xx, 368 p. : ill.; 25 cm]
