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. Int. J. Found. Comput. Sci., 19(1):125-135, 2008. [doi]

Abstract

Abstract is missing.