DMCA

Synchronous Kleene Algebra vs. Concurrent Kleene Algebra

by Cristian Prisacariu