Eliyah Kilada, Kenneth S. Stevens. Design and Verification of Lazy and Hybrid Implementations of the SELF Protocol. In José L. Ayala, David Atienza Alonso, Ricardo Reis, editors, VLSI-SoC: Forward-Looking Trends in IC and Systems Design - 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers. Volume 373 of IFIP Advances in Information and Communication Technology, pages 206-232, Springer, 2010. [doi]
Abstract is missing.