I like ReactPHP I've been using a really small project that has a good implementation of workman.

https://github.com/walkor/phpsocket.io