Lexicographical Generations of Combined Traces

Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski. Lexicographical Generations of Combined Traces. In 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013. pages 196-205, IEEE, 2013. [doi]

Abstract

Abstract is missing.