Walter Willmertinger

• Denotationelle Beschreibung von Prozessoren und Prozessorsystemen zur Generierung von Simulatoren