Modelling and Synthesis of Communication Using OSSS-Channels

Kim Grüttner, Cornelia Grabbe, Frank Oppenheimer, Wolfgang Nebel. Modelling and Synthesis of Communication Using OSSS-Channels. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 38-47, Fraunhofer Institut für Integrierte Schaltungen, 2006.

Abstract

Abstract is missing.