Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk)

Alexandra Silva 0001. Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk). In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. Volume 84 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.