Title: Concurrency and hardware design
Subjects: Electronic digital computers, Parallel processing (Electronic computers), Petri nets, Design and construction, Electronic digital computers, design and construction, Ordinateurs, Conception et construction, Parallélisme (Informatique), Pétri, Réseaux de, Asynchrones Schaltwerk, Eingebettetes System, Entwurfsautomation, Formale Methode, Leistungsbewertung, Nebenläufigkeit, Petri-Netz, Systementwurf, Verifikation, Petri, Réseaux de