Formalizing On Chip Communications in a Functional Style.

Julien Schmaltz Dominique Borrione Formalizing On Chip Communications in a Functional Style. 2006 Trustworthy Software http://drops.dagstuhl.de/opus/volltexte/2006/700 conf/dagstuhl/2006P6000 db/conf/dagstuhl/P6000.html#SchmaltzB06