Siddharth R. Phanse, R. K. Shyamasundar. Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model. In 14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India. pages 179-188, IEEE Computer Society, 2001. [doi]
Abstract is missing.