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 L
A
T
E
X by
H
E
V
E
A
.