Relaxing Synchronous Composition with Clock Abstraction - HFL 2009

Relaxing Synchronous Composition with Clock Abstraction

to be presented at Hardware Design and Functional Languages 2009 Workshop

Albert Cohen    Louis Mandel    Florence Plateau    Marc Pouzet
LRI, Univ. Paris-Sud 11    INRIA Saclay - Ile-de-France.


Abstract and slides: .pdf
Coq proofs : .html, .tgz



This document was translated from LATEX by HEVEA.