Výpočetní modely
(StateCharts, codesign konečný automat, Kahnova síť procesů, synchronní dataflow).
FitWiki