Martin Radetzki. Modellierung auf der Transaktionsebene unter Nutzung des Entwurfsmusters des aktiven Objekts. In Christian Haubelt, Jürgen Teich, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. pages 181-190, Shaker, 2007.
Abstract is missing.