TY - RPRT TI - Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras AU - Michael R Laurence AU - Georg Struth PY - 2017 UR - https://arxiv.org/abs/1705.05896 ID - 1705.05896 ER -