R Lu, CK Koh - IEEE Transactions on Computer-Aided Design …, 2006 - ieeexplore.ieee.org
This paper formally models and studies latency-insensitive systems (LISs) through max-plus
algebra. We introduce state traces to model behaviors of LISs and obtain a formally proved …