On partially additive Kleene algebras (2005)

by Riccardo Pucella
Venue:In Proc. 8th Int. Conf. Relational Methods in Computer Science (RelMiCS 8