1. A method of implementing an application, said method comprising: receiving as input a representation of a finite state machine (FSM) which specifies a control flow of said application; and examining said FSM and performing a plurality of operations according to said FSM to execute said application.