From Synchronous Guarded Actions to SystemC

Jens Brandt, Mike Gemünde, Klaus Schneider. From Synchronous Guarded Actions to SystemC. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 187-196, Fraunhofer Verlag, 2010.

Abstract

Abstract is missing.