This project is a proof of concept implementation of async computation workflows composition with non determenistic choice, merge and bind based on immutable state with lock detection. Uses ideas from Stm,Hopac,Joinads.
More info here
P.S. One more project which is based on Hopac and have similar ideas JoinCML