Deduktiver Hardware-Entwurf https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/deduktiver-hardware-entwurf/
None
Programm; gleichzeitig ist sie ein hochgradig paralleles System, bestehend aus Millionen