presented at event 11th International Conference on Relational Methods in Computer Science/6th International Conference on Applications of Kleene Algebra Conference
keywords Computer Science Computer Science, Theory & Methods Mathematics Physical Sciences Science & Technology Technology