Finite State Machine for Go
Django friendly finite state machine support
AO RTOS is small real time OS based on Active Object concurrency model
A graphical Finite State Machine (FSM) designer.
Enhanced Korat supports GUI, FSM, JUNG and JSON.
State machines for Java, FSM.
Library for sequential execution of tasks in multithreaded environment