Selected Talks

On Decidability of Concurrent Kleene Algebra