<> <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/10081075> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/title> "Graphical affine algebra"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/ontology/bibo/abstract> "Graphical linear algebra is a diagrammatic language\r\nallowing to reason compositionally about different types of linear\r\ncomputing devices. In this paper, we extend this formalism with\r\na connector for affine behaviour. The extension, which we call\r\ngraphical affine algebra, is simple but remarkably powerful: it\r\ncan model systems with richer patterns of behaviour such as\r\nmutual exclusion—with modules over the natural numbers as\r\nsemantic domain—or non-passive electrical components—when\r\nconsidering modules over a certain field. Our main technical\r\ncontribution is a complete axiomatisation for graphical affine\r\nalgebra over these two interpretations. We also show, as case\r\nstudies, how graphical affine algebra captures electrical circuits\r\nand the calculus of stateless connectors—a coordination language\r\nfor distributed systems"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/date> "2019-08-05" .
<https://discovery.ucl.ac.uk/id/document/962823> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/org/ext-af0a9a5baed87c407844a3f5db44597c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-af0a9a5baed87c407844a3f5db44597c> <http://xmlns.com/foaf/0.1/name> "IEEE"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-af0a9a5baed87c407844a3f5db44597c> .
<https://discovery.ucl.ac.uk/id/publication/ext-10436871> <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-10436871> <http://xmlns.com/foaf/0.1/name> "Proceedings - Symposium on Logic in Computer Science"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-10436871> .
<https://discovery.ucl.ac.uk/id/publication/ext-10436871> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:10436871> .
<https://discovery.ucl.ac.uk/id/publication/ext-10436871> <http://purl.org/ontology/bibo/issn> "10436871" .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-f3d5bf7292dde998937fa95c034474fe> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081075#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081075#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-f3d5bf7292dde998937fa95c034474fe> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-bd1a98551f0fae561f967bccafb6a5cd> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081075#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081075#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-bd1a98551f0fae561f967bccafb6a5cd> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-3ec854c42211cf13351e119e55ab173b> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081075#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081075#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-3ec854c42211cf13351e119e55ab173b> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-c3b58c8b55aba96b71f8c97ae776099f> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081075#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081075#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-c3b58c8b55aba96b71f8c97ae776099f> .
<https://discovery.ucl.ac.uk/id/person/ext-3ec854c42211cf13351e119e55ab173b> <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-3ec854c42211cf13351e119e55ab173b> <http://xmlns.com/foaf/0.1/givenName> "P"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-3ec854c42211cf13351e119e55ab173b> <http://xmlns.com/foaf/0.1/familyName> "Sobocinski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-3ec854c42211cf13351e119e55ab173b> <http://xmlns.com/foaf/0.1/name> "P Sobocinski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c3b58c8b55aba96b71f8c97ae776099f> <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-c3b58c8b55aba96b71f8c97ae776099f> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c3b58c8b55aba96b71f8c97ae776099f> <http://xmlns.com/foaf/0.1/familyName> "Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c3b58c8b55aba96b71f8c97ae776099f> <http://xmlns.com/foaf/0.1/name> "F Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f3d5bf7292dde998937fa95c034474fe> <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-f3d5bf7292dde998937fa95c034474fe> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f3d5bf7292dde998937fa95c034474fe> <http://xmlns.com/foaf/0.1/familyName> "Bonchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f3d5bf7292dde998937fa95c034474fe> <http://xmlns.com/foaf/0.1/name> "F Bonchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-bd1a98551f0fae561f967bccafb6a5cd> <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-bd1a98551f0fae561f967bccafb6a5cd> <http://xmlns.com/foaf/0.1/givenName> "R"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-bd1a98551f0fae561f967bccafb6a5cd> <http://xmlns.com/foaf/0.1/familyName> "Piedeleu"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-bd1a98551f0fae561f967bccafb6a5cd> <http://xmlns.com/foaf/0.1/name> "R Piedeleu"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-55baea5da1fdeff16d53abbe4125dcba> .
<https://discovery.ucl.ac.uk/id/event/ext-55baea5da1fdeff16d53abbe4125dcba> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://discovery.ucl.ac.uk/id/event/ext-55baea5da1fdeff16d53abbe4125dcba> <http://purl.org/dc/terms/title> "The 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/event/ext-55baea5da1fdeff16d53abbe4125dcba> <http://purl.org/NET/c4dm/event.owl#place> <https://discovery.ucl.ac.uk/id/location/ext-3f539b00c49a4a12a4cdb2869de24f84> .
<https://discovery.ucl.ac.uk/id/event/ext-55baea5da1fdeff16d53abbe4125dcba> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/NET/c4dm/event.owl#Event> .
<https://discovery.ucl.ac.uk/id/event/ext-55baea5da1fdeff16d53abbe4125dcba> <http://purl.org/NET/c4dm/event.owl#place> <https://discovery.ucl.ac.uk/id/location/ext-3f539b00c49a4a12a4cdb2869de24f84> .
<https://discovery.ucl.ac.uk/id/location/ext-3f539b00c49a4a12a4cdb2869de24f84> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> .
<https://discovery.ucl.ac.uk/id/location/ext-3f539b00c49a4a12a4cdb2869de24f84> <http://www.w3.org/2000/01/rdf-schema#label> "Vancouver, BC, Canada"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962823> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/962823> <http://www.w3.org/2000/01/rdf-schema#label> "Graphical affine algebra (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962823> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081075/1/paperLICS19.pdf> .
<https://discovery.ucl.ac.uk/id/document/962823> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081075/1/paperLICS19.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10081075/1/paperLICS19.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "paperLICS19.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/962824> .
<https://discovery.ucl.ac.uk/id/document/962824> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/962824> <http://www.w3.org/2000/01/rdf-schema#label> "Graphical affine algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/962824> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962824> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962824> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/962825> .
<https://discovery.ucl.ac.uk/id/document/962825> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/962825> <http://www.w3.org/2000/01/rdf-schema#label> "Graphical affine algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/962825> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962825> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962825> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/962826> .
<https://discovery.ucl.ac.uk/id/document/962826> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/962826> <http://www.w3.org/2000/01/rdf-schema#label> "Graphical affine algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/962826> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962826> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962826> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/962827> .
<https://discovery.ucl.ac.uk/id/document/962827> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/962827> <http://www.w3.org/2000/01/rdf-schema#label> "Graphical affine algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/962827> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962827> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962827> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/962828> .
<https://discovery.ucl.ac.uk/id/document/962828> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/962828> <http://www.w3.org/2000/01/rdf-schema#label> "Graphical affine algebra (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/962828> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962828> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/document/962828> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/962823> .
<https://discovery.ucl.ac.uk/id/eprint/10081075> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10081075/> .
<https://discovery.ucl.ac.uk/id/eprint/10081075/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10081075 \n\nGraphical affine algebra\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10081075/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10081075/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10081075> .