Context-free languages via coalgebraic trace semantics (2005)

by I Hasuo, B Jacobs
Venue:Proc. Algebra and Coalgebra in Computer Science: First International Conference (CALCO’05), volume 3629 of Lecture Notes in Comput. Sci