Jung-Min Yang, Seong Woo Kwak. Asynchronous correction for cascade composition of finite state machines. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012. pages 2401-2406, IEEE, 2012. [doi]
Abstract is missing.