A concurrent specification of Brzozowski s DFA construction algorithm

Tinus Strauss, Derrick G. Kourie, Bruce W. Watson. A concurrent specification of Brzozowski s DFA construction algorithm. In Jan Holub, Jan Zdárek, editors, Proceedings of the Prague Stringology Conference, Prague, Czech Republic, August 28-30, 2006. pages 90-99, Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University, 2006. [doi]

Abstract

Abstract is missing.