@inproceedings{inproceedings, title = {{Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages}}, url = {{}}, year = {{2014}}, month = {{5}}, author = {{Laurence MR and Struth G}}, doi = {{10.1007/978-3-319-06251-8_5}}, isbn = {{9783319062501}}, volume = {{8428 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{65-82}}, note = {{Accessed on 2025/05/28}}}