<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10063343> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/title> "Equivalence checking for weak bi-Kleene algebra"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/abstract> "Pomset automata are an operational model of weak bi-Kleene algebra, which describes programs that can fork an execution into parallel threads, upon completion of which execution can join to resume as a single thread. We characterize a fragment of pomset automata that admits a decision procedure for language equivalence. Furthermore, we prove that this fragment corresponds precisely to series-rational expressions, i.e., rational expressions with an additional operator for bounded parallelism. As a consequence, we obtain a new proof that equivalence of series-rational expressions is decidable."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/date> "2021-08-13" .
<https://discovery.ucl.ac.uk/id/document/1361936> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/volume> "17" .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/issue> "3" .
<https://discovery.ucl.ac.uk/id/publication/ext-3b1bcd051e1c0d1cdbcc2d5a4f567073> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-3b1bcd051e1c0d1cdbcc2d5a4f567073> <http://xmlns.com/foaf/0.1/name> "Logical Methods in Computer Science"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-3b1bcd051e1c0d1cdbcc2d5a4f567073> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-898f459ff2015197560ae623043377d0> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10063343#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10063343#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-898f459ff2015197560ae623043377d0> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-d1e89836acd4c54c25053a5c4c3ce308> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10063343#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10063343#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-d1e89836acd4c54c25053a5c4c3ce308> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-c7363c4e7d6612356818f0c616bcdd4e> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10063343#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10063343#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-c7363c4e7d6612356818f0c616bcdd4e> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-2521ca606f853b083a72d5a60fa7c345> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10063343#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10063343#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-2521ca606f853b083a72d5a60fa7c345> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-6caf457669eef989fe316ff1b03cc6a2> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10063343#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10063343#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_5> <https://discovery.ucl.ac.uk/id/person/ext-6caf457669eef989fe316ff1b03cc6a2> .
<https://discovery.ucl.ac.uk/id/person/ext-c7363c4e7d6612356818f0c616bcdd4e> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-c7363c4e7d6612356818f0c616bcdd4e> <http://xmlns.com/foaf/0.1/givenName> "B"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c7363c4e7d6612356818f0c616bcdd4e> <http://xmlns.com/foaf/0.1/familyName> "Luttik"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c7363c4e7d6612356818f0c616bcdd4e> <http://xmlns.com/foaf/0.1/name> "B Luttik"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6caf457669eef989fe316ff1b03cc6a2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-6caf457669eef989fe316ff1b03cc6a2> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6caf457669eef989fe316ff1b03cc6a2> <http://xmlns.com/foaf/0.1/familyName> "Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6caf457669eef989fe316ff1b03cc6a2> <http://xmlns.com/foaf/0.1/name> "F Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-898f459ff2015197560ae623043377d0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-898f459ff2015197560ae623043377d0> <http://xmlns.com/foaf/0.1/givenName> "T"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-898f459ff2015197560ae623043377d0> <http://xmlns.com/foaf/0.1/familyName> "Kappé"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-898f459ff2015197560ae623043377d0> <http://xmlns.com/foaf/0.1/name> "T Kappé"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2521ca606f853b083a72d5a60fa7c345> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-2521ca606f853b083a72d5a60fa7c345> <http://xmlns.com/foaf/0.1/givenName> "A"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2521ca606f853b083a72d5a60fa7c345> <http://xmlns.com/foaf/0.1/familyName> "Silva"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2521ca606f853b083a72d5a60fa7c345> <http://xmlns.com/foaf/0.1/name> "A Silva"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d1e89836acd4c54c25053a5c4c3ce308> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-d1e89836acd4c54c25053a5c4c3ce308> <http://xmlns.com/foaf/0.1/givenName> "P"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d1e89836acd4c54c25053a5c4c3ce308> <http://xmlns.com/foaf/0.1/familyName> "Brunet"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d1e89836acd4c54c25053a5c4c3ce308> <http://xmlns.com/foaf/0.1/name> "P Brunet"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361936> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1361936> <http://www.w3.org/2000/01/rdf-schema#label> "Equivalence checking for weak bi-Kleene algebra (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361936> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10063343/13/Kappe_1807.02102_VoR.pdf> .
<https://discovery.ucl.ac.uk/id/document/1361936> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10063343/13/Kappe_1807.02102_VoR.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10063343/13/Kappe_1807.02102_VoR.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Kappe_1807.02102_VoR.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1361938> .
<https://discovery.ucl.ac.uk/id/document/1361938> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1361938> <http://www.w3.org/2000/01/rdf-schema#label> "Equivalence checking for weak bi-Kleene algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1361938> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361938> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361938> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361938> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10063343/15/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1361938> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10063343/15/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10063343/15/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1361939> .
<https://discovery.ucl.ac.uk/id/document/1361939> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1361939> <http://www.w3.org/2000/01/rdf-schema#label> "Equivalence checking for weak bi-Kleene algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1361939> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361939> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361939> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361939> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10063343/16/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1361939> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10063343/16/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10063343/16/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1361940> .
<https://discovery.ucl.ac.uk/id/document/1361940> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1361940> <http://www.w3.org/2000/01/rdf-schema#label> "Equivalence checking for weak bi-Kleene algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1361940> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361940> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361940> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361940> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10063343/17/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1361940> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10063343/17/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10063343/17/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1361941> .
<https://discovery.ucl.ac.uk/id/document/1361941> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1361941> <http://www.w3.org/2000/01/rdf-schema#label> "Equivalence checking for weak bi-Kleene algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1361941> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361941> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361941> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361941> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10063343/18/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1361941> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10063343/18/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10063343/18/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1361947> .
<https://discovery.ucl.ac.uk/id/document/1361947> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1361947> <http://www.w3.org/2000/01/rdf-schema#label> "Equivalence checking for weak bi-Kleene algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1361947> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361947> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361947> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1361936> .
<https://discovery.ucl.ac.uk/id/document/1361947> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10063343/19/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1361947> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10063343/19/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10063343/19/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10063343> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10063343/> .
<https://discovery.ucl.ac.uk/id/eprint/10063343/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10063343 \n\nEquivalence checking for weak bi-Kleene algebra\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10063343/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10063343/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10063343> .