Doctorate thesis

Graphical and functional modeling of state based applications with static parallel architecture implementation issues