Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

This chapter contains sections titled: Introduction, Trace Theory, Example Trace Structures, Operations on Trace Structures, Verification with Trace Theory, An Example: Distributed Mutual Exclusion, Conclusions and Future Work, Acknowledgements, References