Deriving a systolic regular language recognizer

Matteo Vaccari, Roland Carl Backhouse. Deriving a systolic regular language recognizer. In Richard S. Bird, Lambert G. L. T. Meertens, editors, Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France. Volume 95 of IFIP Conference Proceedings, pages 49-72, Chapman & Hall, 1997.

Abstract

Abstract is missing.