Catalog Β· MIT 6.004 Computation Structures, Spring 2017 Lecture 57 of 172 6.2.5 Equivalent States; Implementation β Previous 6.2.4 Roboant Example Next β 6.2.6 Synchronization and Metastability β Mark complete