Jean-Baptiste Rigaud. Spécification de bibliothèques pour la synthèse de circuits asynchrones. (Libraries specification for the synthesis of asynchronous circuits). PhD thesis, Grenoble Institute of Technology, France, 2002. [doi]
Abstract is missing.