Abstract
This book describes a computational model that has fascinated me, since I first encountered it, almost ten years ago. I have gradually learned that despite its apparent simplicity, this concurrent transition model is a powerful conceptual tool with a broad range of applications as illustrated by the hardware oriented examples shown in this book and by the software oriented examples given in Chandy and Misra’s book on UNITY [10]. Furthermore, the model opens for a range of interesting manipulations, for example, formal verification, timing analysis, and synthesis. Each of these can be done in other models also, but using the concurrent transition model, a range manipulations are available using a single model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Staunstrup, J. (1994). Epilog. In: A Formal Approach to Hardware Design. The Springer International Series in Engineering and Computer Science, vol 253. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2764-0_9
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2764-0_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-6193-0
Online ISBN: 978-1-4615-2764-0
eBook Packages: Springer Book Archive