Julien Schmaltz, Dominique Borrione. Formalizing On Chip Communications in a Functional Style. In Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper, editors, Workshop Trustworthy Software 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. Volume 06000 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
Abstract is missing.