Synchronous Kleene Algebra. The (0)

by Cristian Prisacariu
Venue:Journal of Logic and Algebraic Programming (JLAP