Julien Schmaltz, Dominique Borrione. Towards a formal theory of on chip communications in the ACL2 logic. In Panagiotis Manolios, Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. pages 47-56, ACM, 2006. [doi]
Abstract is missing.