Title: Denotationelle Beschreibung von Prozessoren und Prozessorsystemen zur Generierung von Simulatoren
Subjects: Computer architecture